We're going to change the format of the source HTML quite a bit, and we're going to have to update the XSLT stylesheet accordingly. Move 2016 releases out of the way before doing so.
