manual sync with haltp.org/git/owl-lisp.git. github will probable become the main code repository due to haltp.org possibly disappearing at some point in the future.