Da ieri sera il server OCSP ha ripreso a rispondere in maniera corretta.
Giusto per info e storico, nel caso in cui dovessero ricapitare problemi di questo tipo, esiste una sezione “contatti” sul sito https://www.cartaidentita.interno.gov.it/contatti/ , dove è indicato un indirizzo a cui inviare segnalazioni “tecniche”.
Io ho utilizzato quell indirizzo per segnalare la problematica.