another quick thought -- along with updating when mentioning other users to use the last four from their pubkey (instead of the current way with the first four), is it possible to change the mention format from

geouser#1234:

to

@geouser#1234