E., Darrell, Alex,
thanks for your feedback. As Alex pointed out, there are people still using those icons,
so we can't just delete them.
The easy option is to leave the icons as they are: people have been using them until today
without complains, so I reckon they would keep using them in the future without
complains.
Anyhow given the big rename effort done so far (and which will extend even after v14.0.0
is out of the door), a better option is to rebrand them as pointed out by Darrell in the
bug report.
There are a lot of images, but we do not need to rush and tackle all of them at once.
Please work through them at a pace that fits your schedule.
Based on the current status of the bug list, v14.0.0 is not going to reach RC1 soon
(probably by end of June or later I think) so there is plenty of time. What is ready by
RC1 will go into v14.0.0 and what is not ready, will simply go to the following
maintenance releases.
Thanks for your help, it is always appreciated.
Cheers
Michele