On Thu, 7 Feb 2019, D. Hugh Redelmeier wrote: > Ahh. Thanks. > > Would it not make sense to move this to the doc subtree? People with copious spare time are encourages to send patches :) For sure, the directory programs/configs is a misnomer and was likely only placed there for "make" processing :) Paul