Archive mtimes: optimal complexity in all cases

Created by  pmeunier  on January 8, 2021
BONBSXAUJKCMVB56LUU6PWXV7KPLB3HXZ5JF6LK43R5J4WYETUHAC
Change contents