No, that can easily be done with plain SQL.
The reason to create this script was the fact that user settings are stored as PHP-serialized string in the database and thus cannot be changed using SQL commands directly.
Has there ever been a thought to change that into a key/value pair instead? Or would that create too much of a conversion hassle and maybe load on the db?
cor