On 23/10/14 14:24, Andreas Jaeger wrote: > Tom, > > Are you sure you updated the glossary and saved the entry? There was no > change to the glossary in today's update... I edited the ops guide resource. I guess there's another similar bug in the glossary too.