On 02/07/2013 11:51 AM, Mike Williams wrote: > Seems like a bug to me. Not sure where to report it. Is it just in > the fedora packaging or upstream? I'm just guessing here, but it may be that it never occurred to anybody that you might want to have the manual without the program.