Gnut patches...

I sent two more patches for Gnut to the maintainer last night. I haven't heard back yet, I expect them to be included in version 0.4.16. You can hunt for them on the Download page, or just skip directly to the Patch section.