title: Find archived entries in org-mode by properties within an archive file
body: <p>I have an agenda file, and use the default archive file. So agenda.org and archive to agenda.org_archive for example. When archived, the items get archival properties</p>
  <pre><code>* DONE some task
  :PROPERTIES:
  :ARCHIVE_TIME: 2021-07-27 Tue 15:18
  :ARCHIVE_FILE: ~/agenda.org
  :ARCHIVE_OLPATH: Misc
  :ARCHIVE_CATEGORY: notes
  :ARCHIVE_TODO: DONE
  :END:
  </code></pre>
  <p>I'd like to search for these using <code>org-tags-view</code>, with <code>ARCHIVE_TIME&gt;&quot;&lt;+2w&gt;&quot;</code> for example. This works in my main agenda file if I toggle <code>org-agenda-archives-mode</code>, but I cannot get it to search the agenda.org_archive file. I have added this file to <code>org-agenda-text-search-extra-files</code>, but that doesn't help. In fact <a href="https://orgmode.org/worg/org-tutorials/advanced-searching.html#searching-additional-files" rel="nofollow noreferrer">this documentation</a> says this &quot;has no effect on other types of agenda commands, such as todo and tags/property searches&quot;.</p>
  <p>So how can I search archives within an archive file?</p>
  <hr />
  <p>Also, I have attempted by adding the archive file directly to <code>org-agenda-files</code>:</p>
  <pre><code>(setq org-agenda-files '(&quot;~/org&quot;))
  </code></pre>
  <p>This directory contains both files, but this doesn't work either.</p>