Re #386: Add tags using plain HTML form, not AJAX.