Re: [PATCH v5] drm/doc: device hot-unplug for userspace