Hi Martin, that definitely sounds like a bug but one that will be hard to track down without being able to reproduce it.

Please let me know if you see any pattern to it in the future like if it happens after some particular command is run or something like that.

Thanks,
- Michael