Design challenge: What should vaccination credentials look like?