HTML update

I completely forgot to update it! This is the last commit before
Christmas. My bad.