Hello, We're trying to find for each featured article the time when it acquired featured status. At 22:07 on 15 July 2008 GimmeBot modified the page "King Arthur" with the comment "GimmeBot adding FA star". http://en.wikipedia.org/w/index.php?title=King_Arthur&diff=226083953&am… Do you think a pattern match /addding\s+\S+\s+star/ (in the comments field) would be the most reliable/appropriate way of finding in the history dump file the time when each of the featured articles acquired this status? Or do you happen to know of a special page listing this time for each featured article ? Thanks a lot in advance.