chiark / gitweb /
man: make clear that VERSION and VERSION_ID is not mandatory in os-release.5