Ok hätts auch schnell selber probieren können: ja geht. Ctrl-Shift-C (im Chrome) und auf den Alt-Text-Editor clicken, dann ist im HTML schon das richtige Element markiert. Immer noch umständlich