This commit: https://cgit.freedesktop.org/libreoffice/core/commit/?id=43f159dafa3fe61c09cafc8467cdd67233a02401 has some impact on the helpcontent, these occurrences need to be changed accordingly: https://opengrok.libreoffice.org/search?project=help&q=%22basic+ide+options%22&defs=&refs=&path=&hist=&type= Adolfo: maybe one for you? :)
Adolfo Jayme Barrientos committed a patch related to this issue. It has been pushed to "master": http://cgit.freedesktop.org/libreoffice/help/commit/?id=4d8687d90b58f8bf00bd31c913bc47970e975ca4 tdf#111434 Rename “Basic IDE Options” to “Basic IDE”
Fixed; thanks Gábor!