The media keys were only in the keyboard shortcuts file because their implementation was the same. With Linux support incoming their implementations are not necessarily the same.
