Revert the VDM tagging on blocks (gh-pages complains about unknown tag)