Text Hover and Content Assist for SPIN PROMELA including HTML samples as discussed on Spinroot.com [ as of corporate 6c1e7baf92d5b988f8fc6a26d51a52d65f4252d6 ]