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