Hi,
thanks for reporting. We removed the settings option as generally unused but apparently, we didn't reset the settings. Will be fixed in the next version.
thanks for reporting. We removed the settings option as generally unused but apparently, we didn't reset the settings. Will be fixed in the next version.