digits, and label it 'ms' not 'msec', for consistency with psql's \timing display. Per recent discussions.
Attach a file by drag & drop or click to upload
