above "What's New and 0 lines above "Release date".  Remove most old headers
for non-final releases (they currently do not get carried forward.