const DOUBLE_SPACE_AFTER_DOT: &str = r"\
Use a single space after dots in comments.";