The cli directory of FreshRSS is having some useful scripts to manage users: - create-user.php - delete-user.php But it misses an `update-user.php` script that could be useful to reconfigure part or full configuration of a user.