That might be a bug on the client side.
Unfortunately, it is not.
I have gone ahead and deleted the comment, for I hadn't seen the date it was posted. I thought this was recent.