diff -r 6378da868bb0 -r f0e22f3a5878 src/eric7/Documentation/Help/source.qhp
--- a/src/eric7/Documentation/Help/source.qhp Tue Feb 14 18:10:30 2023 +0100
+++ b/src/eric7/Documentation/Help/source.qhp Wed Feb 15 15:55:37 2023 +0100
@@ -10731,7 +10731,6 @@
<keyword name="MicrobitDevice.__isMicroBitV2" id="MicrobitDevice.__isMicroBitV2" ref="eric7.MicroPython.Devices.MicrobitDevices.html#MicrobitDevice.__isMicroBitV2" />
<keyword name="MicrobitDevice.__resetDevice" id="MicrobitDevice.__resetDevice" ref="eric7.MicroPython.Devices.MicrobitDevices.html#MicrobitDevice.__resetDevice" />
<keyword name="MicrobitDevice.__saveMain" id="MicrobitDevice.__saveMain" ref="eric7.MicroPython.Devices.MicrobitDevices.html#MicrobitDevice.__saveMain" />
- <keyword name="MicrobitDevice.__saveScriptToDevice" id="MicrobitDevice.__saveScriptToDevice" ref="eric7.MicroPython.Devices.MicrobitDevices.html#MicrobitDevice.__saveScriptToDevice" />
<keyword name="MicrobitDevice.__showFirmwareVersions" id="MicrobitDevice.__showFirmwareVersions" ref="eric7.MicroPython.Devices.MicrobitDevices.html#MicrobitDevice.__showFirmwareVersions" />
<keyword name="MicrobitDevice._getSetTimeCode" id="MicrobitDevice._getSetTimeCode" ref="eric7.MicroPython.Devices.MicrobitDevices.html#MicrobitDevice._getSetTimeCode" />
<keyword name="MicrobitDevice.addDeviceMenuEntries" id="MicrobitDevice.addDeviceMenuEntries" ref="eric7.MicroPython.Devices.MicrobitDevices.html#MicrobitDevice.addDeviceMenuEntries" />
