I am looking for an overview map functionality for Leaflet. A participant at a conference was quite convinced that this is part of the Leaflet API - unfortunately I don't remember his name so I cannot ask him where to look for that.
Assuming that an overview map is a rather commonly used feature and taking the low github popularity of 4 stars into account, I am wondering if there is a more popular solution.
Is an overview map funtionality included in the Leaflet API? Or is there another solution besides the aforementioned?