[Checkers] RoMaybe -> PolyRead

[Michael Ernst]

I notice that the change from RoMaybe to PolyRead has not yet happened in
the checkers.  What is the schedule for that, and who is going to do it?

                     Thanks,

                    -Mike