regenerate documentation after Gabriel Kerneis' fixes