Racket v8.8 release

A while back, I asked about upgrades from 8.7 to 8.8. I see your hint to raco pkg migrate 8.7.

Are the steps in Racket version 8.7 is now available - #7 by richb-hanover a way to accomplish this through the DrRacket GUI program? Thanks.