The coronavirus, also known under the acronym COVID-19, has been wreaking havoc all over the planet for many weeks now. It has made it necessary for governments around the world to respond with drastic measures: the enforcement of social-distancing rules (e.g., staying at home; keeping your distance from strangers, friends…