In the code example the title has the number one in a place where it shouldn’t be and in the explanation of the code it says “The below example would save the value of the key “FirstTime” as false.“ but the actual key in the code is “RanBefore”.
Yet also, PluginManager() is deprecated and superceeded by the actual plugins feature.
This could be used in the command bar for a plugin, but should really use the plugin keyword which actual plugins have in their environment.