Rename 'random' tab to 'miscellaneous'

[Donais04]

Would also likely require going through all files to check where the word "random" is and replacing it with "miscellaneous". Should be a simple python script