prod.html: removed commented-out lines.