--- a/UserPreferences.st	Sat Dec 07 12:51:02 2019 +0100
+++ b/UserPreferences.st	Sat Dec 07 12:55:53 2019 +0100
@@ -5569,6 +5569,10 @@
 
 !UserPreferences methodsFor:'accessing-prefs-startup'!
 
+addToAutoloadedPackages:packageID
+    (self at:#autoloadedPackages ifAbsentPut:[OrderedSet new]) add:packageID
+!
+
 autoloadedPackages
     "list of package names, which are automatically loaded upon startup"