As everyone keeps saying…it’s just not a thing that actual sysadmins or fluent users need. Using ssh configs is essentially the same thing that you’re looking for, but you’re just typing alias hostnames instead of clicking on them. Otherwise absolutely no difference. Not many people are connecting by IP address or anything like that.
Minisforum Refurb, or an SoC that’s cheaper than RPi