/* GENERATED by port/extract-assets.py from our-standards.html — do not hand-edit. */