See https://crates.io/crates/redpen

Dunno if that project will end up being interesting, but in the meantime, this name is a almost identical to that one.

Note: crate living will located under the above link.