Hello, I'm sorry, but I don't see where to enable the "Options" menu in IMP, so that the users can change their identity and other configurations. I can't find the place to make this options visible. I'm using the debian sarge stable version of horde/imp. Thank you in advance for any help.