Dr Westman's diet is 3 cups of vegetables from his allowed list of foods. Seriously you do not need to count any macros, nor subtract any fiber. But if you want to make life more complicated, two tips:
If you click on the little g. circle in three colors (low, med, high carb levels) on DietDoctor Recipes...you see Fiber under Net Carbs. Add it back and that is total carb count. You can also filter all the recipes with "only Keto" and get only recipes with very low carb counts that work. This is the way UK and European food labels are stated (maybe rest of world too?) it is the US that requires math to figure it out. Not to confuse the issue, but carb calculations differ:
https://www.esha.com/how-carbs-are-...rent-countries/
As for that chart of vegetables, they are all allowed..with these limits: 2 cups salad greens, 1 cup cooked vegetables, 6 olives, avocado 1/2 per day. Avocado is only 1/2 per day because you are right, a whole avocado is 17g carbs, 13 g fiber.
But if you want to obsess about vegetable carbs (none of us got fat eating too much zucchini) , Google to the rescue!
Type "Carbs in vegetable x" into your Google Search Bar, the results at top are Total Carbs from the USDA Nutrition Database, with a drop down menu of various serving sizes. Then if you want the total and fiber, click on "more at" and a full nutrition label pops up. Ten years ago, the Atkins company sent a book with total and net carbs in their starter kit, but the internet has leaped beyond my old paper and pencil method. If you have a copy of the "famous" 2002 DANDR edition...that has total and net in the back.