@pghaworth: Okay, then, yeah, still in cover mode, but in a broken state, consistent with what happens when switching to/from it without restarting the framework
.
(And yeah, the KUAL extension still being there is a bug, but the hack was indeed uninstalled).