A survey of COVID-19 contact-tracing apps. (October 2021)