> Ich habe hier die V 12.31 K.A. ob's neuere gibt.

Die v12.31 vom 31.08.2021 ist die aktuelle Version.

> War von SourceForge.net

Unwahrscheinlich, da das Betterstring-Projekt, zu dem die Hotkeystring.lib gehört, bereits 2015 von SourceForge auf GitHub umgezogen ist.

> scheint da aber nicht mehr zu existieren....

Richtig, dafür dort: https://github.com/amiga-mui/betterstring/releases

> Falls du die brauchst: PN!

...oder einfach dort: https://github.com/amiga-mui/betterstring/releases/download/11.36/MCC_BetterString-11.36.lha