HTML file updated (should have been in previous commit).

GitHub app failed to include this file for some reason.