@dnolen thanks for the detailed reply! NP for restarting the REPL, but it's good to know it's not a problem with my setup. I agree it's not a big deal - at some point the development phase in which libraries are added/integrated ends and real app development starts - that's surely the most important