Now also displays the version of the ProB 2 Jupyter kernel and more detailed info about the ProB CLI version.
