Documents for the REG Beautifier extension