this isn't used anymore
use CheckExtraTests instead of ExtraTests
changelog
oops, don't need both CheckExtraTests and RunExtraTests
changelog
bugtracker.mailto shouldn't be required

github issues doesn't have an email address, for instance
changelog