now, that there are quite a few different versions of
the documentation downloadable, I sometimes do not
realize which version I am using.
Please consider to add a footer or header, carrying the
version and date information of the documentation on
all pages as concisely as possible.
This way it is always "glass-clear" with which
documentation one works.