If we are going to this route, we should stop a bit and remember that we already have something named label, and it is probably not necessary to implement them _again_.
What exactly is this label? I can see inset->label that actually inset a \label to the latex code. I also see a disabled 'navigation -> go to label'. So, how to set (multiple) label? Bo
