The Debian Edu setup could be adjusted to install both packages in case
someone chooses pt_PT as locale, allowing each user to open the manual
with the preferred spelling.
This would be the ideal.
[ Wolfgang Schweer, 2021-03-20 ]
Also, there's always jenkins.debian.net with the latest translations
available, see:
I don't think most people will look for a manual in such a place. Particularly if Debian Edu is targeted at the regular computer user as well.