F* v2026.08.23

What's Changed

• Make projectors and selectors built-in by @gebner in #4389
• Dep: keep the source directory in checked-file paths by @tahina-pro in #4447
• Pervasives: mark coerce_eq as inline_for_extraction noextract by @mtzguido in #4449
• Uniform operator name mangling by @nikswamy in #4445
• Overload machine integer arithmetic operators with type-based overloading by @nikswamy in #4452
• Type based overloading by @nikswamy in #4439
• Overloading: respect the direction of coercions by @mtzguido in #4456
• nit, gitignore genereated deps.mk file by @mtzguido in #4462
• overload: collect candidates through include by @mtzguido in #4461
• Bump version to 2026.08.23 by @dzomo in #4465

Full Changelog: v2026.08.16...v2026.08.23