The mouse would pair with any sequence, but then wouldn't work in the display. The fix was to add an entry in /etc/bluetoothd/hid.conf that specifically disables authentication and encryption. After that it worked well.