> We should probably do that, then. But unless someone reports this as a > bug or feature request on SourceForge I am going to forget. Done, #482559. Regards, Martin