Global "tradeoffs", "security", "perf" config options
In !657 (comment 2826155) we discussed a global config option I introduced for controlling various kinds of padding. I'm going to remove that from that branch for now, but:
We will want a central place to configure "please run a config profile suitable for a phone" or some such.
@nickm writes there:
I don't think this is "global" so much as "security" or "tradeoffs" or "performance" or something.
If we can think of a good name for this, it could contain setting like mobile
which changes many things all at once.
I'm keen to have something like this, because otherwise we'll end up with cargo-culted config files full of "mobile friendly" tuning parameters floating around, and embedders will each make up their own[1], etc.
[1] Of course embedders might have good reasons to deviate from defaults, but we should supply a good set of defaults for this kind of widespread use case that we're aware of.