The refund did eventually materialise, and it only took five weeks. It felt like longer, but I suppose that’s because I live in an ideal world where such a simple task (type in an account ID, verify that you owe them money, click a button to create a transaction of the specified amount) should take five minutes at most.
Maybe they read this website.