RedPen user's manual