Added all the 7.2 stuff released today, including key file

Please merge so we have everything in one place.