Tagging @everyone in a proof comment

It would be nice to have the functionality to tag all people on the proof in a comment by using “@everyone” so we don’t have to tag 8 different people each time.  Using tagging a team doesn’t work the way our division is structured.  Thanks!