Replace publisher URLs with doi.org equivalents (313)#759

richarddushime merged 3 commits intomainforrtproject/forrtproject.github.io:mainfrom

convert-publisher-urls-to-doiforrtproject/forrtproject.github.io:convert-publisher-urls-to-doiCopy head branch name to clipboard