I had already reported this bug, see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=940872
- Bug#941505: plasma-desktop: Plasma Desktop does... Thomas
- Bug#941505: plasma-framework: Num lock key... Antonio
- Bug#941505: marked as done (plasma-desktop... Debian Bug Tracking System