Since I like to use terminal a lot, I would prefer if you keep it
short!
If you must include branding I would prefer shorter version of "Fed" or
"fed" so ideally something like "fed12345".
Shorter hostname is not only useful when typing commands, but anywhere else where it is
used. For example journalctl logs. You don't want hostname to take half of the screen?