Yeah. We went with display names so it's easier to know which techs you are setting as restricted or starting. For example, several tech trees have a tech with the techID Neutral History, however the display name calls it something else (like, "A History of Extremes" or "A History of Preseverance" etc...).
As a player, in-game, you never see the TechID of techs, only the display names. So, from a usability standpoint, it's clearer to use the display names, (though there are cases where the techID and display name are similar- ie. Disruptors3 is Disruptors III).
