Metapost: Mobile comments are back! I hope?
Hey all! As noted Friday, comments weren’t working for people using the mobile version of the site for a while last week, but the indefatigable Adam Norwood has now gotten that fixed! If this was a problem for, you please check them out to see if it remains a problem (it shouldn’t, but you might need to clear your cache to get the fix to take hold). Apologies again.