Trying the Wordpress import feature, to bring over my old codingforpeoplepeople.wordpress.com blog. Where I differ from the help docs (https://help.micro.blog/2017/wordpress-import/) is that it downloaded an XML automatically, rather than WXR.