Iterator#append deprecated since 2.3.3 ... time for removal?

Hi,

I'm currently looking Iterator's [1] append method, which is
deprecated since version 2.3.3. Is there any reason why this method
should live any further (in the light of the recent removal of case
class inheritance)?

I'm not 100% sure because there are other collection classes
(inheriting from BufferLike [2]) which have a non-deprecated append
method, although with a different signature:

Iterator: def append[B >: A](that: Iterator[B])
BufferLike: def append(elems: A*)

If nothing comes up, I'll do the changes and create a pull request for it.

Thanks and bye,

Simon

[1]
http://www.scala-lang.org/archives/downloads/distrib/files/nightly/docs/...
[2]
http://www.scala-lang.org/archives/downloads/distrib/files/nightly/docs/...