I am not sure they would accept a PR to add our syntax, or that we would want the maintain it. It also does not seem that they have a “plugin system” or a way to extend vale.
Maybe one day there will be support for markdown syntax in odoc, which would enable this tool (but only in .mld files which is not great).