slight fix to url mappings on developer tools page