[bot] Run grit migration: Upgrade to Next.js 13

[grit-app[bot]]

✅ This migration is up to date! ✅

View the full results on the Migration Dashboard. 🚀

This pull request was created as part of the next13 migration, with these settings:

• Target branch: main
• Base commit: 0102c6c7b6c55baa58a1d3ce3d48d02d2b9a7d9f
• Source files: ui/pages/doc/[doc_id].tsx,ui/components/HeadDefault.tsx

Migration steps

- Migrate to Next.js v13 - Migrate components - Format files

Please feel free to provide feedback on this pull request. Any comments will be incorporated into future migrations.