(documentation is fixed meanwhile in git, website will be updated automatically rather sooner than later)