Document replace() and concat_path().

Also note that @> and <@ go deep.