Update mining.html