Maybe that is the case now, but this Badi line/Choti line concept still works as a charm, particularly amongst the tempo/totto community near Charbagh. I was lucky to be helped by a good Smartian auto wallah on my first visit.
However being on IRI has it's advantages, I knew that my train would definitely be coming on LKO as back in those days excepting for Bagh, all trains from HWH side would be via LKO.