Update and rename definitions.md to definitions.html