Well done, Allan. I like the thread thing, especially since I'm not reading lyx-users anymore. By the way, "it's new home" should be "its new home". "It's" is an abbreviation for "It is", while "Its" is an adjective meaning "belonging to it". Ah, I haven't been pedantic in a long time. -Amir
