Just used the Doppler Transfer app for the first time. Almost 800 songs and no problems, over Wi-Fi.
That’s me done with the Music app for playback.
Next steps:
- manually transfer iTunes Store wishlist;
- find as many alternatives to iTunes Store as possible;
- remove Music app.