You could open an issue, but I think if someone really needs it he can look into the git history, otherwise we will just forget a bunch of dead code.