Make RedPen server configurable