[uievents-key] Is "Separator" key removed from Whitespace Keys section intentionally? (#12)

"Separator" key was removed from Whitespace Keys section. Is this intentionally? As far as I know, no keys are mapped to it in any platforms, though. Just I'd like to confirm if it's intentional change.

---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/uievents-key/issues/12