My hacky patches to chxdoc