This is timely and handy -- a go-anywhere list of the world's top 100 mining stocks by market capitalization, ranked by their percent discount from record high price. Many are at or close to all-time highs. With metals prices.