Just to give official confirmation, yes, the methods that shiboyo mentioned for deleting files are correct. Thanks for playing!
