Red Pen Tools has moved to https://redpentools.customtools.app/.