[3.13] gh-130160: use option instead of cmdoption in dis.rst (GH-130255)#130264