Regarding the REPLy thing. Maybe, it's a good chance to move over to rebel-readline[1]? It has much fewer dependencies, starts faster, and has better editing experience with inline evaluation, eldoc, and other things. [1] https://github.com/bhauman/rebel-readline/