Oops, my comment system somehow was a bit broken. It’s fixed now.

Sorry ’bout that, everyone.