Build #3005 (Oct 31, 2025, 12:57:46 PM)

1. improved version of #14229 (commit: c6570cd) (details / githubweb)
2. fix done; add tests (commit: fd1bf74) (details / githubweb)
3. fix comment (commit: f12acda) (details / githubweb)
4. extract instance_unshared and update comments (commit: f50150a) (details / githubweb)

Started by GitHub push by gasche

• origin/trunk