ToDo

check that style being properly applied
- pygmentize -S default -f html > style.css
- replace "default" w/ style
user_repo/README.md
- has legacy Avigad content still present
- now-missing functionalities should be reimplemented if desired