Merged with Irssi CVS.