bad bad GitHub mobile input with Google keyboard