
While we should probably use this extension at some point, we don't currently do. So let's remove it, so the code documents the status-quo instead of some potential future direction. Reviewed-By: Mike Blumenkrantz <michael.blumenkrantz@gmail.com> Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/9925>