Use 2020 as copyright year.