Move all topics from 1 category to other and tagging

If you are changing the category of many thousands of topics, you will probably want to do that at the command line on the server.