Raymond Toy pushed new branch rtoy-simplify-ci at cmucl / cmucl