A formal specification for changelog files and entries - View it on GitHub