4 ms·

That would be great, never seen MkDocs but looks like it might be an improvement for jumping between topics.