zsh and zsh-devel

Hello, zsh is now quite old and its maintainship has been dropped. I'm the current maintainer of zsh-devel and I think it does not deserve its -devel nature. Should we delete zsh and rename zsh-devel? Regards, -- Anthony Ramine, the infamous MacPorts Trac slave. nox@macports.org