Aloha ;)

Zum anderen gab es das große ẞ schon lange vor Unicode – seit 1879. Und in Unicode gibt es das noch gar nicht so lange – erst seit Version 5.1 (2008).

In diesem Punkt steckst du leider in einer Apfel-bedingten Filterblase - aus praktischen Gründen. Der Umstand, dass Unicode ein solches Zeichen kennt ist nur dann hilfreich, wenn auch die Schriftart (oder deren Vervollständigung) das entsprechend umsetzt. Ich sehe unter Android hier im Postingtext nur ein Kästchen (wie so oft bei ausgefalleneren Unicode-Zeichen). Damit ist das vom Duden im Wikipedia-Artikel zitierte Ziel

Die Verwendung zweier Buchstaben für einen Laut ist nur ein Notbehelf, der aufhören muss, sobald ein geeigneter Druckbuchstabe für das große ß geschaffen ist.

zumindest für das Web (im Printbereich mag anderes gelten) noch nicht erreicht, da sonst potenziell User ausgeschlossen werden. Hier ist es also durchaus vertretbar (auch nach Formulierung des Duden) Ersatzzeichen zu verwenden.

Dass es oft zweischneidig ist, mit Unicode zu argumentieren, zeigt schon die an anderer Stelle diskutierte Sache mit den in manchen Systemen rot gefärbten x und o...

Grüße,

RIDER