[astrodust]

That thing looks impressively if not fiendishly complicated.

That seems like it's not an overtyping system, but one of selecting a single character based on a series of keystrokes.