.disable-highlighting() is now .user-select(@x)