Update all posts' mod dates when deleting a category
Fix a command-line help message