Gnocchi with vegetables

1 tablespoon oil 1 medium brown onion, chopped coarsely 2 garlic cloves , crushed 400 g swiss brown mushrooms, sliced thinly 1 tablespoon plain flour 1/2 cup[...]

1/2 ounce butter 1 garlic clove , crushed 1 chili flakes (optional) 3/4 cup vegetable stock 4 tablespoons heavy cream 2 ounces parmesan cheese , finely grated[...]