UPDATE: Inserting the kbd tag in interactively