decorule.dtx decorule.ins decorule.pdf MANIFEST README.md VERSION