Re: https://www vs https://tjener.intern
> That was kind of implied by my response that we change the links to
> match *.intern so that we get all the names in line within the
We currently use all DNS names without the domain name, to make it
easier to replace .intern with something else for those that want to
use their own DNS domain. The changes would then be limited to bind
and dhcpd configuration. I believe this is a good idea to keep.