Hello,
sorry for the late answer.
This bug should not be hard to fix, but the whole process of doing an update is a bit costly...(And the guy in charge of the GUI is on holiday... )
Anyway we planned to do some updates but in a few weeks, after the release of some new products...