Catch up with pre-Rapperswil mailing, add missing Core Extension issues