[logback-dev] [JIRA] (LOGBACK-935) Improve documentation for the timestamp element in logback.xml