After synching my documents with Github, all footnotes were stripped away, and the old way to add them doesn't work anymore. Are there any plans to support footnotes again?