Update tufty repo references to badger#12

tbries wants to merge 1 commit intobadger:mainbadger/badger.github.io:mainfrom

tbries:tbries/fix-tufty-refstbries/tbries.github.io:tbries/fix-tufty-refsCopy head branch name to clipboard