Cleanup: the `mouse_priorities' field in the back end has been a