Étiquette de l’extension : remove id

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