Cleanup footnote (it's broken), and write up more detail on the
implementation with better formatting