The following PRs have content already merged to main and cannot be merged via tangled pr merge (patch conflict since changes exist). They need to be manually closed:
- PR 3mgxfyy24ri2e - Customized rambutan animations after units/tasks (mascot-animations branch, zero diff vs main)
- PR 3mgxfkwz4sq2x - Name the rambutan mascot (name-mascot branch, superseded)
- PR 3mgxdzhmxmh25 - Rambutan favicon, tab title, PWA support (favicon-title-pwa branch, superseded)
Review comments have been left on all three PRs. The stale remote branches (mascot-animations, name-mascot, favicon-title-pwa) can also be deleted.