Yes, we talked about this with Jiří, I have it on my TODOlist...