From: Emanuele Giuseppe Esposito on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/2917#note_1801...
You're right, I thought it was merged but it's still there:
https://github.com/uapi-group/specifications/pull/91
Anyways I don't think this will change anytime soon.