[LarsAlereon]

About 15 years ago I made extensive use of an earlier version of this on an Android smartphone with 512MB of RAM, it was the difference between barely usable and very usable. It's sad that we might need this again.