It's not a hotspot, it's an IP radio. Hence the different name.
Yes, it seems to be a play on Mike (Mic).
As for the amateur in the UK, well his callsign would never have been issued when I was first licensed in the 1970s and callsigns of this nature were only ever issued due to lax licensing checks within Ofcom since 2003. They will no longer be issued after the changes Ofcom announced in April 2024.
