Apparently this file has been merged into whatsnew.html.