update doc/examples for resolve/match