The European Covid certificate, a user’s guide