Some responders seem to prefer a batched migration while others have suggested a massive PR that does all of the low-hanging fruit in one push. I can do either, but would like to know what folks who can do the reviews would prefer before going much deeper.
Either way, most of the migration can be automated cleanly with IntellJ Ultimate's migration tool. Thanks, Mike
