Maps.xdc how to change the map provider?

yes, if one wants alternative maps now, adjusting this is a way to go forward, however requires to build desktop on its own.

for the next version, things may become easier then.