https://pi.dev https://pi.dev specifically prides itself on having many extensions hook points. Is that one you've looked at? If so, it might be something they'

https://pi.dev https://pi.dev specifically prides itself on having many extensions hook points. Is that one you've looked at? If so, it might be something they'd be willing to add a hook for if you open an issue.