@nojo: WordPress 4.0.1 is available! Please notify the site administrator. Getting tired of relaying their messages.