bin-docs: simplify "$@" as <args>