Что делает последовательное нажатие клавиши Ctrl дважды?

Я использую Ubuntu 12.10.

См. это короткое видео о том, что на самом деле отображается на экране, когда мы последовательно дважды нажимаем клавишу Ctrl:

https://www.youtube .com / watch? v = FFZTnNH5nIs

Что он делает? Является ли это ярлыком? Действует как горячая клавиша? Пасхальное яйцо? Что происходит?

Теперь, после активации, каждое нажатие клавиши Ctrl вызывает это действие.