OK to change anchor names in the language specification?

[Jesse Phillips]

On Saturday, 15 February 2014 at 10:47:14 UTC, Jakob Ovrum wrote:
> The question is - do we unify their formatting before making 
> them public? This would break existing links, but these links 
> were nigh unobtainable in the first place.

It think it is ok to break anchors, Google will fix itself and 
the page will still load for others, it just won't be as friendly.