/* GENERATED by port/extract-assets.py from how-we-test.html — do not hand-edit. */