Gibt's schon eine offizielle Abkürzung?

SD50, RedSD, SD43RED, SD43 ...
Ich persönlich favorisiere die SD50.
Ich erwarte, dass die CEOs hier bald Klarheit schaffen analog der SD4k!

Was ist euer Favorit?