It's official. They've just filed with the SEC.