Pour répondre à ma propre question : j'avais seulement sur-interprété l'introduction. L'introduction de la documentation (reproduite dans ma question) dit que l'éditeur Moodle oblige à taper `\mathbb{R}` tout le temps. L'interprétation qui consiste à croire que moodle.sty viendrait combler cette lacune est fausse : on est obligé de taper `\mathbb{R}` **aussi** avec moodle.sty moodle.sty !

Pour répondre à ma propre question : j'avais seulement sur-interprété l'introduction. L'introduction de la documentation (reproduite dans ma question) dit que l'éditeur Moodle oblige à taper `\mathbb{R}` tout le temps. L'interprétation qui consiste à croire que moodle.sty viendrait combler cette lacune est fausse : on est obligé de taper `\mathbb{R}` **aussi** avec moodle.sty