PeterSlattery comments on [PR FAQ] Improving tag notifications