I think (?) that they’re part of the 6001.18002 WDK, which can still be downloaded from the same place (more or less) as that link you provided - WDK connect.
select ‘dashboard’ from the top of the screen select ‘Windows Driver Kit’ from the list Select ‘Downloads’ from the table on the left Select ‘WDK and DDK Archives’ from the ‘Downloads’ box.