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.
Just wondering why it has `experimental` in the URL?