I'm trying to clean up my system and have noticed almost 200 files named bookmarks-xxxx.json in the .mozilla directory, taking up the best part of half a gig. Many of these are very old, so I'd like to kill them. Is there a delete command (interactive) that can span multiple directories, or do I have to do it the hard way? Thanks.