Remove DITAA sections used for generating PDF; not recognized by Github