Miscellany

Here I’ll collect useful things not directly related to the Jazztunes app.