Counter.sol no se encuentra en los contratos de Openzeppelin

Se ha eliminado en openzeppelin v5 y lo más probable es que no vuelva a aparecer. Puedes cambiar la versión de OZ a la 4.x, lo que no es recomendable, ya que desde entonces se han fusionado muchos parches para corregir varias vulnerabilidades, o puedes reemplazar el contador por algo diferente, en la mayoría de los casos basta con una sola variable. Para obtener más información, te aconsejo que consultes el PR que eliminó a Counters.sol de la base de código de OZ, que contiene el razonamiento detrás de este movimiento y diferentes estrategias sobre cómo se puede seguir adelante sin él

Oh, está bien, muchas gracias por el aviso. Revisaré el repositorio ahora