Tweak new extensions module - #456

Merged

djc merged 5 commits into

mainfrom

Sep 21, 2026

Codecov / codecov/project succeeded Sep 21, 2026 in 1s

82.23% (+0.00%) compared to 42cc86f

View this Pull Request on Codecov

82.23% (+0.00%) compared to 42cc86f

View more details on Codecov