As someone who has been a vegetarian for over 25 years I’ve never heard of this. Why would you want your stock to have a thickener? Isn’t it easier to just add a thickener to the food you make so you can control how thick or thin the result is?
I am not sure I would use gelatin in a vegetable stock. Things I've used: arrowroot powder, cornstarch, flour, potato starch, agar. A classic veggie gravy would be veggie stock + flour/butter + maybe some tomato paste.
Typically you’d do this while making the dish, not add it to the stock ahead of time .