extension docs now live in extension folder. default filename is docs.php
global documents dir is no longer used