Auto cleanup of cache?

[danielmarschall]

I noticed that over the past years, the userdata/cache/ directory was filled with a bunch of files, most of them js_polyfill ones.
Should there be an automatic cleanup job for them, maybe during the cron jobs (cron.php)?