A bug in my JavaScript code should not cause BBEdit to crash. Thankfully, this does not happen very often, but still…