has some impact on the helpcontent, these occurrences need to be changed accordingly:
Adolfo: maybe one for you? :)
Adolfo Jayme Barrientos committed a patch related to this issue.
It has been pushed to "master":
tdf#111434 Rename “Basic IDE Options” to “Basic IDE”
Fixed; thanks Gábor!