An overlay-building extension for TagPro