These were dropped during the migration to github. This patch restores them, but note that they do not all pass!