New package: retext4-4.1.3 (close #555).