I was planning to take a look at fixing a couple of bugs in the mirrored_download plugin, but was unable to find the source. Could anyone point me to where it is located? Just for reference, the two bugs are http://josm.openstreetmap.de/ticket/7660 http://josm.openstreetmap.de/ticket/7661