I tried to find a winget ID for Maven but there seems to be none since both
winget search -q maven
winget search -q mvn
dont deliver a proper result. Is there none or do I overlooked it?
I think there is none so far, as your research showed. git already adapted it but maven did not I think we can safely assume if both the official documentation and winget queries do not lead to a result that there is no formula yet.