More TODO updates, notably on cross-compilation.
Mention the walkthrough in the documentation.