chiark / gitweb /
README: v2: Refine &TARGETS_things, mostly to avoid # wrinkle