[galaxy-dev] I wrote a small script to reload tool pages