Are they any use? With Europe's black-box coronavirus apps it's hard to tell