NICER observations of the Crab pulsar glitch of 2017 NovemberM. VivekanandA&A, 633 (2020) A57DOI: https://doi.org/10.1051/0004-6361/201936774