Hubert Mantel announced his resignation from Novell