update extradoc to latest bugfixes