doc: update execution examples