Glad you liked it. I put the code up at https://github.com/206industries/electrum-map.

It's fairly simple: there's a small Python script (generate.py) that gets the peer list from an Electrum server and saves it to a file. There's a second html/js pair that renders the actual map, puts the pushpins on it, all based on the output from the first. It actually turned out to be easier than I was expecting!

I really liked this idea so spent a few minutes turning this into a dynamic map. This one refreshes the peer list every minute or so and uses the free Maxmind data to geolocate from server IP address.

Hosted here: http://electrum.206industries.com/