Re: [Tex-nl] TeXLive 2018: probleem met docstrip 2.5e?