Hi Oliver,
I'd love to see something as follows:
whenever I create a new category, the script will check if there was a
category with the same alias before (that is deleted by now!) and simply give this old category a random alias, so that I can now use this alias again.