Ubuntu PPA discontinued
this is to announce that the PPA at ppa:yurivkhan/ahm is discontinued. (The reason for that is that I have built myself a keyboard that puts modifiers under thumbs; also, such keyboards have become available in the market. See Keyboardio, Esrille, Dactyl, Diverge, Iris, Atreus.)
Anybody who wants to take over is free to do so.