Thanks, the previous title was easy to miss: "Veracrypt project update"