PS: apparently the "ship empty" problem is avoidable:
14:29 <twb> two annoyances with includes for me as an end user:
14:29 <twb> 1. if the #included file doesn't exist, that's an error, not a nop
14:29 <twb> so upstream has to ship the dropins themselves
14:29 <twb> (at least, IIRC that is true)
[...]
14:30 <jjohansen1> yeah, missing include is an error, you can do
14:30 <jjohansen1> include if exists < ... >
14:31 <jjohansen1> which won't error, and I think that is what should be done
for most of these
[...]
