Hi! After upgrade to Horde 4.0.12 some strange delay showed up rigth after the login - browser shows about 50% progress, then freezes for some 5 -10 (?) seconds and then the portal page opens (as it should). Is that ok?