@kirel Hooray! I hoped that sprite earlier meant you were working on detexify again. Feedback: drawing erratic on Android; hard to scroll