add a formula for "redpen"

RedPen is a proofreading tool to help writers or programmers who write
technical documents or manuals that need to adhere to a writing
standard. RedPen automates the verifications of input documents written
in natural languages.
When I pull-requested first, **redpen** was experimental,
but now redpen is updated, not experimental.