delete file

[Autumn-27]

Note

Removes an obsolete file from the codebase.

• Deletes a file (/dev/null indicates file removal in diff); no other files modified
• No functional, API, or build changes expected

^{Written by Cursor Bugbot for commit ba8d1a6. This will update automatically on new commits. Configure here.}