checkout master after push-github
add missing footnote literal