In reply to Tom J Nowell.

Having this feature included in the Classic Editor plugin doesn't stop any of this functionality. The Classic Editor plugin already has an option for selecting the "Default editor for all users". It would be a simple addition to add an extra option for selecting the "Default editor for all Widgets". It makes sense to keep like functionality (i.e. disabling of Gutenberg) all in the one plugin.