<!-- Describe the change briefly. -->

### Built in Ace

<!-- Was this PR made entirely in Ace? If any other tool was used (another agent, editor, or
terminal for something Ace ships), say which, for what, and why Ace couldn't do it. Add the gap
to TODO.md in this PR. -->