[sr-dev] git:master: doc: *_list: minor sed script fix