> Perhaps Steve Johnson can chime in on this? I suspect he'd know the history > here well. The origins of void were discussed 4-7 nov 2017 on this list.