Here's a page from the developer explaining this: http://www.oilshell.org/blog/2018/01/28.html