Oh, good thought! And DW has the handy tag renaming, in case anyone wants to adjust their DW tags to match their Tumblr versions before they import. Perhaps a note to that effect, reminding people of the possibility when they go to the import page, would be useful.