Trimmed instructions from LICENSE