Comment Comment by scruple There's also "The Little Typer" and "The Little Prover." parent scruple 3 years ago