Convert IRS docs to restructured text