gh-pages: minor update mainly to trigger build-warnings (if still any) from github