Thanks for the reply UmaD. We are several persons in our organization who also no longer have Ctrl+/ working. I assume that is a bug?