Returns true iff there is such /// a match.
Behaves as if written:
/// boolean SkipTo(int target) { /// do { /// if (!next()) /// return false; /// } while (target > doc()); /// return true; /// } ////// Most implementations are considerably more efficient than that. ///
doc
.