Option to 'prune' libraries using a seafile-ignore.txt

I’d really like to see an option within the seafile admin that would ‘prune’ libraries that are using a seafile-ignore.txt and delete all entries that would no longer be synchronized with clients. It’d make tidying up after implementing an ignore file SO much easier.