Silly of me!!!
I have to congratulate all the team of HOL and the contributors for this enormous and continuous effort.
How can I contribute to HOL? Where can I upload scans?
I've uploaded many games on the Zone but due to work and studies it's been a long time since the last contribution. Now, I think I can search my database and give you a hand.