Patches applied on the lisp-team branch as
35a0bb9691e32f7e8027bcf9016ebbc64b74cbcd and following.
Thanks.