<http://schema.org/description>
"This guide shows how to use the time command to get performance and usage statistics from a Linux command."^^<http://www.w3.org/2001/XMLSchema#string>
<https://www.lifewire.com/command-return-time-command-4054237>