Minor cleanup - index_instructor.php does not exist
Minor reformatting
Not just set, but set to tools/index.php
Show the dummy text only when we are an "extra" module
Make it work at the new, temporary location
Checking this in for the moment so that some bug fix can be checked in as its own thing
Fixed the wrong redirect. Fixes #27.
Make it work at the new, temporary location