Thread:Extension talk:Babel/Problem with local categories