Thread:Extension talk:Babel/Problem with local categories/reply (7)