[tools-public] Replace ported pages with a link to their counterpart in code-infra-dashboard#1220

Janpot merged 2 commits intomastermui/mui-public:masterfrom

toolpad-healthbadge-redirectsmui/mui-public:toolpad-healthbadge-redirectsCopy head branch name to clipboard