Good to read. The positive side-effect is also that we now have a concise example for this.
[[kgh]] (talk)