Move all new users to use the new editor GitOrigin-RevId: e3611e5853da4b96db9f4cc37114ededb8632aed
permissionsLevel
permissions
hasLintingError