About that horrible bug that came up a few days ago. It is now fixed. It was in some code that I had written, but it was not caused by my code. Instead, I spent days hunting for the problem. It dro…