> On Jun 15, 2020, at 5:49 AM, Mouse <mo...@rodents-montreal.org> wrote: > > I considered suggesting something like /usr/tools, but I don't really > think that's a good idea.
I think it's reasonable to draw a distinction between "tools that are commonly used for non-system development" and "tools that are very specific to the system". I think /usr/sys might be reasonable... /usr/sys/bin, /usr/sys/libdata, etc. -- thorpej
