doc: switch to olddoc for the website