Oops, deleted the examples menu ...