minor formatting and exposition changes#33

mcognetta wants to merge 1 commit intoaheui:mainaheui/aheui.github.io:mainfrom

mcognetta:patch-1mcognetta/aheui.github.io:patch-1Copy head branch name to clipboard