[@linkomatic Participant 12 years, 3 months ago]

Okay, fine, it’s “nobody’s fault”. But nothing will get fixed if one simply says, “well, that’s life in the world of WordPress, so live with it”, which is what your first comment conveyed. That aside, sure, I’ll try to respond to your suggestion to document a repeatable case, even though, as I said, this issue seems to pop out in a semi-random fashion.