Comment in jupyter notebook with ctrl-/ does not work on my Linux server using Mozilla Firefox However it is defined like that. Is there a way to change this of fix?
