Linkdump for May 13th through May 25th An automatically generated list of links that caught my eye between May 13th and May 25th.