I’ve recently fixed several bugs involving the posting of comments, but in so doing introduced another, which hopefully I’ve just now fixed. Pretty embarrassing, considering I just explicitly asked for comments. Oh well.