Currently the PDF for our documentation is named "adminguide.pdf". This is a very generic name and relies heavily on the file being in a proper context. That might not be the case, e.g. when the user has downloaded the file. I think it would be useful if the file name was more specific, i.e. includes ThinLinc in the name, and ideally also the version.
Fixed. We should probably add a redirect to the web server once we update things.
Looks good. When doing the release routines for the 4.14.0 release we should add a redirect (permanently moved) from https://www.cendio.com/resources/docs/adminguide.pdf to https://www.cendio.com/thinlinc/docs.