ASK: "This is written by an LLM" comments should be flagged as off-topic (by drmorr)

#meta