My bad. This was meant to HOT mailing list [1]. Sorry. [1]: https://lists.openstreetmap.org/pipermail/hot/2020-December/015409.html
jiri _______________________________________________ talk mailing list talk@openstreetmap.org https://lists.openstreetmap.org/listinfo/talk
