gentle-pi v0.2.5

What's changed

• Add the new pen-style Gentleman-PI startup animation adapted from PR #8, keeping input nonblocking.
• Speed up the startup animation timing and keep the banner visible after animation completes.
• Fix skill registry self-healing so stale generated project-local registries cannot wipe project skills or prefer global skills.
• Bump package version to 0.2.5.

Validation

• node --experimental-strip-types --check extensions/startup-banner.ts extensions/skill-registry.ts extensions/sdd-init.ts
• bun build extensions/skill-registry.ts --target=node --format=esm --outfile=/tmp/skill-registry.js && node --check /tmp/skill-registry.js
• pnpm run prepack
• npm pack --dry-run
• Fresh release review: no blockers