It'd be nice if goals themselves participated in

tag

filtering. Although I struggle ot think of a

pex-BInary

or other target which might be tagged

manual