The following 3 PRs are stale and should be closed:
- PR 3mgxfyy24ri2e - 'Customized rambutan animations after units/tasks' (branch: mascot-animations)
- PR 3mgxfkwz4sq2x - 'Name the rambutan mascot' (branch: name-mascot)
- PR 3mgxdzhmxmh25 - 'Rambutan favicon, tab title, PWA support' (branch: favicon-title-pwa)
All three branches have been superseded by the direct merge of mascot-animations into main (commit 952e70b). The tangled CLI has no 'pr close' command and 'pr merge' fails with a 409 Conflict since the patches are already applied. These PRs need to be closed manually via the Tangled web UI, or a 'pr close' CLI command is needed.