I think I got the bug causing the above-mentioned random crashing under Windows fixed. To be honest, I could not figure out what exactly caused it, but it definitely had (more...)