No I hadn't. I just checked and the nearest network is Manali, so they're on their way :) [1]. I'd heard about such networks before, but wasn't aware they were so actuvely and successfully implemented, very inspiring.
1. https://airjaldi.com/networks/manali-network/
Not sure if they've reached Leh though.