API change: document::{toc => navigation}()