[graph-tool] Re: Hide filtered vertices in interactive display