Improve offline docs

[arogachev]

1. API and extension docs are not translated. Can be provided as separate archives or at least optimized during generation:

Benefits:

• Reduced time of generation.
• Reduced space for storing archives.

2. Exclude links to missing sections from menu.

Benefits:

• Better UX.