I've updated The REPL section of Practicalli Spacemacs to clarify the difference between cider-restart (which doesnt restart the REPL) and sesman-restart which does restart the REPL https://practicalli.github.io/spacemacs/clojure-repl/

I still havent worked out if there is any value using cider-restart now that the REPL is only restarted by sesman-restart

In https://practicalli.github.io/spacemacs/refactor/clojure-mode/ the clojure-mode refactor commands are now defined separately from the clj-refactor commands, making it easier to see if you need to add the optional clj-refactor package to the Clojure layer.