#1095 removed isindex element and name=isindex processing. Since there will be browsers in use for some time that do special processing for <input name=isindex>, it might be useful to ban that name for document conformance until such browsers are relics.

cc @sideshowbarker