Recipe of Super Quick Homemade Gnocchi with charred red pepper and pistachio pesto and sautéed mushrooms