Re: File#directory? docs

> Roger -- I will probably have some doc patches to contribute at some point -- is Redmine the preferred way to accept patches?

Yeah.  They get merged in...typically quickly (not by me, but by other
maintainers).
I haven't had one that wasn't eventually merged (though some weren't fast).
-rp