Does anybody want Ada 2012 Corrigendum 1, the defect reports that led to it, and the list of titles of defects?