Hi. I got a Debian bug report that the .k5login man page should be a k5login man page instead of a .k5login man page. I.E. man pages should not have a leading dot. That certainly seems true for the netrc man page. Any thoughts on whether there is a convention for this?