Hello While translating the interface for master, I find the following string: Library directory What does library mean in the context? Does it refer to /usr/lib? I was unable to find the string in LyX. -- Jean-Pierre