@Alrescha I’ve learned that what I’m looking for is called a #clipboardmanager, and there are several I need to check out: #maccy #Pastepal #pastenow #copyem There are probably many more.

#Copyem son 15 dólares.
#Pastepal aparentemente es gratuito pero vende cosas dentro de la aplicación.

Sólo #maccy publica el código.

#GSConnect + Clipboard Indicator dan la misma funcionalidad, son libres y cuestan lo que quieras. Si quieres ser un rata asqueroso que no da ni un duro a ningún proyecto de software libre, puedes serlo.