By the way, while looking at this, there's also a very puzzling display
glitch in the keymaps: