* also bugfix for load_definition in html_module
* a bit of refactoring of Location checking code in mongo.py