Note visibly that HTML docs are out of date.