Docs: Update skip_comments
to ignore_comments
#3145
Merged
skip_comments
to ignore_comments
#3145