Étiquette de l’extension : id attribute

Adds two convenient buttons to easily add/remove an id attribute to any element.