Muchísimas gracias por la información que me das, Germán.
Creo que esperaré a la sub-versión que me indicas, aunque me informa Moodle que ya hay una versión 3.5.1 (Build: 20180709) Versión 2018051701 Versión estable. ¿Puede ser que esta nueva versión corrija este inconveniente?
En la revisión de correciones me habla de Bootstrap 4 pero no sé si es el que estaba ya en la versión 3.5.
Edito para decir que sí, que efectivamente esta nueva versión del 9 de julio corrige este inconveniente: