docs-src; make sure docs are up to date