Dockblock explaining our coding convention