Turn all buttons into HTML comments, for easy revival in 0.10.1 (one pull request forthcoming!)