Am I correct in interpreting the title to mean that visiting the page will result in a 3.1GB download?

Yes. I tested it. It downloaded 3.1GB

Given what the page does, that's not a surprising amount, but consider it would take over 5 days to download on a 56k dialup connection, and even at 100Mbps that's over 4 minutes.