The May rating list has been published along with a short report.
Created 2008-05-11 ◦ Last updated 2014-07-23 ◦ Editor MO
