It would be great if you can file an issue. We usually do CI for doctests on base julia itself, and naturally need to do more of it.