Renaming Stream.subStream(int) to Stream.skip(int)

[Brian Goetz]

>> Btw it used to be skip, and no one complained then they couldn't find
>> the method.  Only after renaming to substream did the confusion start.
>
> I wonder how much of the HOL feedback came from people who had
> previously seen it this way?
>

I think zero.  I think skip is whats used in all the other libraries of 
this sort (e.g., RxJava).

> What were all the arguments for renaming to substream? Have they somehow
> been invalidated or are we just deciding that this HOL feedback puts
> more weight on the old position?

It was a random shift whose entire motivation was "Hmm, more like 
String, let's try that."  I think it was just a bad experiment.