Thank you Garg ji for bringing this up. Ten years back, my identification was based on Polunin & Stainton which mentions Scrophularia elatior as distributed from Uttar Pradesh (now Uttarakhand) to Bhutan, at altitudes of 1600-3000 m. It makes no mention of Scrophularia himalensis. But now it turns out that these two species have been quite mixed up in the literature. Flora of China and Annotated Checklist of the Flowering Plants of Nepal mention Scrophularia elatior but do not mention Scrophularia himalensis. On the other hand Flora of Bhutan does mention S. himalense. The result is that POWO shows distribution of Scrophularia himalensis as West and East Himalaya, leaving out Nepal, which looks a bit strange. There is no key available which involves both the species. To make matters worse, a detailed description of Scrophularia himalensis is difficult to find. Pennell's description is not sufficient. As always, falling back on Flora of British India, makes things clearer to me. It mentions S. eliator from Nepal eastwards, and mentions S. himalensis with eastern limit as Kumaun.
So, I will assume that the plants from Dhanaulti are Scrophularia himalensis. I will not be surprised if in future I find that these two species have been merged. :-)
Best wishes
Tabish