June 8, 2013
10 a.m.
By mistake some local files were added to the list. Here's an updated list. It now also contains low-case references. Attached also a script used to generate this list.