edits for dev-console-permissions.html