Re: [PATCH] drm: Fix timestamp docs for variable refresh properties.