This is a valid bug, but it does not affect most users' experience of Ubuntu, as there is no prominent user-level feature utilizing this key.
This is a valid bug, but it does not affect most users' experience of Ubuntu, as there is no prominent user-level feature utilizing this key.