MediaWiki:Coll-is cached

Ya se había generado una versión del documento PDF que sigue estando actualizada, por lo que no ha sido necesario repetir el proceso. Se puede [$1 forzar un nuevo procesamiento].