For anyone else wondering, we now have federal vaccination certificates. Just in time!