On 13 Mar 2003, Robert Collins wrote: > Applied, thank you. > I made a small tweak to the code there at the same time, to eliminate > do_skip. It's good practice to use a query method where possible, as > this makes the semantic clearer to a casual reader (modulo the clarity > of the method names). Good catch. Thank you! :)