Add the missing translations for new redirect files. Fix the invisible BoostPP docs. Minor code cleanup to make it easier to update.