navbar only translated on start page

Hi!

I notice that on the start page https://www.debian.org/ the navbar containing

- "Blog"
- "Micronews
- "Planet"

is translated, but AFAICT not on any other pages. For example
https://www.debian.org/intro/ or https://www.debian.org/distrib/

First I thought it was because english/template/debian/template.wml is missing

#use wml::debian::common_translation

but I see now that english/template/debian/basic.wml contains it and
that should work?

Hans

PS! english/template/debian/mainpage.wml does contain

#use wml::debian::common_translation

so that is either needed or redundant ;-)