Cooked gnocchi