If you like a higher ratio of mushrooms to sauce / gnocchi, you can use more like 1.5, or even just 1, package of gnocchi. As written, this will make enough to serve 6-ish people.
If you want to go all out and use homemade gnocchi in this (drool), here’s a guide to making homemade gnocchi!