That feature has been there a while, perhaps a couple of months or so.
What does frustrate is having to wait a whole day for Google to catch up. Recently having made an error with a robots.txt file, and then fixing it a few minutes later after testing in WMT, I had to wait 18 hours or more for Google to re-read the file. There was no quick way to say "heh, I fixed that problem, go check the file again".
Saving reports from WMT is a pain in the neck. Some files are called sitename-date-reporttype while others are sitename-reporttype-date or reporttype-date-sitename and so on. There's little or no consistency.