Mention #stop and #filter= in top-level comment