Documentation version included in HTML versions and fixed PDF copyright