> $ man -s 7 hostname

Thanks for the suggestion but that says nothing about what the symbolic
name is for. I'm looking for the difference between setting the
hostname and the symbolic host name and when these two would be
different.