Bastien Guerry <b...@gnu.org> writes: > Max Nikulin <maniku...@gmail.com> writes: > >> If archive is intentionally excluded from export then the file should >> be moved back and the redirection should be dropped. > > Yes, files in archives/ should *not* be exported: that's a place to move > problematic .org files that contributors may still want to explore from > their local repository.
Ah! I should have realized, but https://orgmode.org/worg/archive/fireforg.html is exported. Then we definitely shouldn't use worg/archive/ as a place for old stuff that someone might actually still need. Yours, Christian