Thank you, your response was very informative. It got me to dive a bit deeper into some of your essays and blog posts. I learned a lot particularly from these:

Thank you, your response was very informative. It got me to dive a bit deeper into some of your essays and blog posts. I learned a lot particularly from these: 1. http://www.oilshell.org/blog/2016/11/06.html http://www.oilshell.org/blog/2016/11/06.html 2. https://github.com/oilshell/oil/wiki/Shell-WTFs https://github.com/oilshell/oil/wiki/Shell-WTFs