Re: [PATCH 03/17] drm/mm: Some doc polish