The "fluxbox not so devel" issue

Many users, to put it nicely, say they don't like our current fluxbox naming convention. Fact is, our fluxbox-devel is the actual stable one. When we move the original fluxbox from extra, it will be the end of the 0.1.14 incarnation, which will happe sooner or later anyway. The actual question is, if we kick an old, but still working software from the repos. For all the users of fluxbox and fluxbox-devel who care, please participate the discussion at the bugtracker.