Until this is fixed, you can delete those comments by opening your browser's Console (typically F12) then typing these lines of code, one at a time, and pressing Enter: (as it's rate limited)
$.post("/posts/comments/3829630/vote/10", {"fkey": $("#fkey").val()});
$.post("/posts/comments/3829648/vote/10", {"fkey": $("#fkey").val()});
$.post("/posts/comments/3829649/vote/10", {"fkey": $("#fkey").val()});
Note: you will not get any confirmation dialog, the comments will be deleted instantly.
To delete further comments this way, all you need is their ID which can be retrieved from the permalink. (the comment's timestamp is a permalink, e.g. https://math.stackexchange.com/questions/1869322/can-this-function-be-a-new-test-for-primality#comment3829630_1869322
and the ID is 3829630)
In case the timestamp itself is hidden, the comments are also available in your profile page, the title of each comment is the permalink with the comment ID.
\rfloor
to, say,)
, and then back, then it works. If you copy-paste with the dollar signs included it also works. There's some funky edge case getting called there. In any case, you've posted it as an answer so you can just delete your comments (or flag for deletion if you can't).\rfloor
. Delete it and re-type it and it should work fine.<div id="sidebar">
it should work.