doc: download button now targets doc/