Ethynyl benziodoxolones for the direct alkynylation of heterocycles: structural requirement, improved procedure for pyrroles, and insights into the mechanism.