Re: Re Scanner

[(]

On Sat Aug 20, 2022 at 2:42 PM BST, ( wrote:
> (Unless there's a bug with the package.)

((Which is highly unlikely if tests are enabled for the package.))

    -- (