Remove askmike for user_lang, in another issue
Remove stray lib