Re: fundamental localic groupoid?