@strypey @mattdm @virtulis @eltonfc
This is a really good point--I started out entirely in GUI environments and only a few years later started using CLIs. I do think about GUI buttons as infinitives and CLI as imperative (though, as a native speaker, the main reason why I think about the grammatical difference is because of taking second languages--perhaps the reason why I think the way I do is because la.wikipedia.org uses infinitives).