documentation: fix footnotes

Unlike markdown, footnotes are not automatically put at the bottom of
the page.
android: ability to lock settings modification