What about adding one? I find it particularly convenient when working around packages like Git where the build phase takes about 2 minutes while the check phase takes about 1 hour. -- Pierre Neidhardt https://ambrevar.xyz/