Use labels in archives.lens