boba tea

BUR #5988 has been approved by @evazion.

create alias boba_tea -> bubble_tea

All the places around me call it boba.

+1

It depends on region. but AmE in particular seems to prefer boba_*.

So, definitely agree on the alias (but not necessarily on reversing it).

The bulk update request #5988 (forum #189552) has been approved by @evazion.