--- a/etc/options Tue Nov 27 23:41:37 2018 +0100
+++ b/etc/options Tue Nov 27 23:44:05 2018 +0100
@@ -221,7 +221,7 @@
public option spell_checker_dictionary : string = "en"
-- "spell-checker dictionary name"
-public option spell_checker_include : string = "words,comment,inner_comment,ML_comment,SML_comment"
+public option spell_checker_include : string = "words,comment,comment1,comment2,comment3,ML_comment,SML_comment"
-- "included markup elements for spell-checker (separated by commas)"
public option spell_checker_exclude : string = "no_words,antiquoted"