Then google the names and look what comes up.
Without additional search terms you get the wrong results.
A word that is already used in computer is a bad name.
And with AI it won’t get better. Ambiguity is a source of confusion and mistakes.
By your logic pull/push/main are also great names.
One main purpose of a name is distinguishability.
If you google Cursor they dominate the whole first page
Surely they have a chance of doing it again with Origin