some cleanup

app/plugin/PluginManifest.ts

@@ -35,6 +35,11 @@ export interface PublishedPlugin extends BarePlugin {
  * as those being developed).
  */
 export interface BarePlugin {
+  /**
+   * An optional human-readable name.
+   */
+  name?: string;
+
   /**
    * Components describe how the plugin runs. A plugin may provide UI and behavior that runs in
    * the browser, Python code that runs in a secure sandbox, and arbitrary code that runs in Node.
@@ -82,6 +87,11 @@ export interface BarePlugin {
      */
     unsafeNode?: string;
 
+    /**
+     * Relative path to a specialized manifest of custom widgets.
+     * I'm unsure how this fits into components and contributions,
+     * this seemed the least-worst spot for it.
+     */
     widgets?: string;
 
     /**