docs: About page updates and methodology/nav follow-up#24

vahldiek wants to merge 0 commit into

ReproDB:mainReproDB/reprodb.github.io:mainfrom

vahldiek:fix/artifinder-doc-followupvahldiek/reprodb.github.io:fix/artifinder-doc-followupCopy head branch name to clipboard