Re-resolve Manifest-v1.13.toml.default: SimpleKiteControllers' entry... #15

Re-resolve Manifest-v1.13.toml.default: SimpleKiteControllers' entry lacks DocStringExtensions

Project.toml lists DocStringExtensions since 0f219c3 (2026-10-02), but the tracked Manifest-v1.13.toml.default was not re-resolved, so its [[deps.SimpleKiteControllers]] deps omit it. A worktree installed from the .default fails to precompile the package: 'Cannot load DocStringExtensions into module SimpleKiteControllers ... does not have DocStringExtensions in its dependencies'. Pkg.resolve() fixes the live manifest (it also adds Documenter and its deps for the docs workspace project); the .default needs the same, and Manifest-v1.12.toml.default should be checked too. Found while working on #14.