collect data from Github.com for feeding into RSS

Changes for 0.04 - 2023-07-21

• Don't resurrect old comments, even if the issue has been updated recently
• Various build and test suite upgrades