[NavigationTiming] Two Outdated links

Great work - all of you. I adore your work!

In section 4.2 The Performance Timeline:
On paragraph: All performance metric interfaces, like the
PerformanceTiming<https://dvcs.w3.org/hg/webperf/raw-file/tip/specs/NavigationTiming/Overview.html#nt-navigation-timing-interface>
, PerformanceResourceTiming<http://dvcs.w3.org/hg/webperf/raw-file/tip/specs/ResourceTiming/Overview.html#performance-resource-timing>
, PerformanceMark<http://dvcs.w3.org/hg/webperf/raw-file/tip/specs/UserTiming/Overview.html#performancemark>
,PerformanceMeasure<http://dvcs.w3.org/hg/webperf/raw-file/tip/specs/UserTiming/Overview.html#performancemeasure>
interfaces,
that wish to be a part of the Performance
Timeline<https://dvcs.w3.org/hg/webperf/raw-file/tip/specs/NavigationTiming/Overview.html#sec-performance-timeline>,
must adhere to the following rules:

Change link from:
http://dvcs.w3.org/hg/webperf/raw-file/tip/specs/UserTiming/Overview.html#performancemark
to:
http://dvcs.w3.org/hg/webperf/raw-file/tip/specs/UserTiming/Overview.html#the-performancemark-interface
AND
Change link from:
http://dvcs.w3.org/hg/webperf/raw-file/tip/specs/UserTiming/Overview.html#performancemeasure
to:
http://dvcs.w3.org/hg/webperf/raw-file/tip/specs/UserTiming/Overview.html#the-performancemeasure-interface

Thank you so much
Ore :)