<p>About the <code>_gettimeseq</code>, I'm too far from the code right now to provide youa usefull answer, sorry. I might have better clues with a new topic patches about that.</p>

<p>For the <code>file_use_mail_ts</code> name, I'd say it's ambigous. First, because <code>ts</code> is an acronym. Second, because we don't know how the timestamp gets used. Perhaps something like <code>filename_use_mail_timestamp</code>.<br>
Overall it's nitpicking. What I do care is having a configuration option marked experimental but the name by itself is not so important while it's not too much exposed to name collision with further potential option names.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br>Reply to this email directly or <a href="https://github.com/OfflineIMAP/offlineimap/pull/265#issuecomment-151916908">view it on GitHub</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/AKFSEJJwrxyeAR-qGWWQou_JlNBgBDhNks5pAPxLgaJpZM4GXNZl.gif" width="1" /></p>
<div itemscope itemtype="http://schema.org/EmailMessage">
<div itemprop="action" itemscope itemtype="http://schema.org/ViewAction">
  <link itemprop="url" href="https://github.com/OfflineIMAP/offlineimap/pull/265#issuecomment-151916908"></link>
  <meta itemprop="name" content="View Pull Request"></meta>
</div>
<meta itemprop="description" content="View this Pull Request on GitHub"></meta>
</div>