No pager on Windows (really not)

Created by  pmeunier  on December 4, 2020
SE4RJYBZBNU6I3URBUMWP6T27CGGXLBEWWDB7WWX3W3AYSU6AFAAC
Change contents