In the Logic Library Manager, when creating a new entry in the "Types" tab, the "Comment" field is also offered for configuration. However, this should be disabled and not available for "Types".
This behavior has been modified. The "Comment" field can no longer be configured in the dialog for creating a type.
To benefit from this fix: