update extension vocab html#11

smrgeoinfo wants to merge 1 commit intoisamplesorg:gh-pagesisamplesorg/isamplesorg.github.io:gh-pagesfrom

smrgeoinfo:gh-pagessmrgeoinfo/isamplesorg.github.io:gh-pagesCopy head branch name to clipboard