[PULL 08/13] docs: fix missing backslash in certtool shell example