Thanks. Fixed and pushed.

On Tue, Aug 18, 2020 at 4:46 AM Shiro Kawai <xxxxxx@gmail.com> wrote:
In maybe-filter entry, in the second line it says

   ..., then return maybe; otherwise, ...

It should be

    ..., then return maybe/either; otherwise, ...