Revert "Fix RE for valid interface names"

This reverts commit f75ef41b098d6dd7f8f04e320ede8959744bb741. Editing
through github's webinterface seems to be unreliable.
Fix RE for valid interface names (2)

This time without corrupting the file.