Re: [PATCH 08/12] vsh: Deduplicate filtering in vshReadlineOptionsGenerator()