As I understand it from Gianluca, the actual silkscreen file is sent directly to the photosetter, since it wasn't able to process a Gerber of the desired complexity. That is, there isn't an alternative Eagle file with the actual silkscreen, so I believe the reference design is the one used to produce the boards (although it's possible for it to get slightly out of sync).