Might not be a bug but me in the early morning before enough coffee.
When I create a Global Smart Group (not in a data base) to remove it, there is a “Remove” option available on the right mouse click. That suggests to me that the Smart Group is indeed removed.
When I create a Smart Group inside a specific database, there is no “Remove” option, only move to Trash … the latter sounds risky as I don’t know if it’s the Smart Group definition that goes into Trash or if the items found by the Smart Group go to Trash.
