Re: [PATCH 07/10] server: Remove no longer needed server-side screen buffer ioctls.