I also just created a PR that adds a close-button right to the top of the map, to make it more convenient to hide it. That should be merged early next week when others have the time to review it.
I also just created a PR that adds a close-button right to the top of the map, to make it more convenient to hide it. That should be merged early next week when others have the time to review it.