Note for later: this doc block is the file doc block. It is meant to document the file. This doc should have been in the class's phpdoc block. But since it will be removed... :-)