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