-This overrides `lua-indent-level' in `pico8-lua-mode'.
-`lua-mode''s default indentation is 3, which is both
-idiosyncratic and quite large when viewed in the PICO-8 editor,
-where the convention is 1."
+This overrides ‘lua-indent-level’ in ‘pico8-lua-mode’. ‘lua-mode’
+uses a default indentation is 3, which is both idiosyncratic and
+quite large when viewed in the PICO-8 editor, where the
+convention is 1."