Oddly-shaped surfaces, and navigation-interruption resolution!

Some highlights:

• Add support for oddly-shaped and single-vertex surfaces.
• Add more-robust navigation-interruption resolution.
• Add navigation is-stuck detection.
• Improve annotation renderings.
• Improve documentation.