link `import` button to github paper extractions #32

Closed dgauldie closed 1 year ago