@danimo might seem like it’s redundant but it’s a cue to what you quit. Especially important for an action such as quitting. Similar to how a button labeled »Delete filename.txt« is much better than just »Delete«.