Am 03.03.2015 um 13:57 schrieb Riccardo (Jack) Lucchetti:
You're absolutely right. I remember I noticed the same thing back in
2010 or so and thought to myself "we have to get this fixed", but then,
there's only something more urgent to do.
That's what the bug tracker on sourceforge is there for. I admit I
should look at and administrate it more often, but I think it's useful
as an internal to-do list but also as an external documentation resource
for stuff like this.
One may think that fixing this trivial kind of bug takes no more time
than posting the bug and thus if the devels do not have the time to fix
the bug right away, they also don't have time to open a bug report. I
actually think that it's true psychologically, but I would seriously
ask: is it really really true that fixing the bug is quicker? Given that
after the quick change of the source you also have to do some testing
etc. So please just write a two-liner in the bug tracker and then this
will not take another five years to fix.
cheers,
sven