@david pushed this over the finish line and it’s now merged
Thanks @AhmedLoud for raising this and submitting a PR