Hi,
I’ve set up several IJulia 1.8.0 kernels, a plain one, another with 4 threads, another with 10, and so on.
I can start any of them without problems
screenshot

but once it’s up and going, there seems to be no information on the page about which kernel it was. On the top right it just says “Kernel”:
screenshot

Is there any way to know which one is running?
