refine the (still temporary\!) handling for special archival extensions