FreeBSD SMP website stale links update?

[Venkatesh Srinivas]

Hi,

http://www.freebsd.org/smp/ has a few stale links:

"* Hiten Pandya's SMP synchronization rules"
points to: http://storm.uk.freebsd.org/~hiten/smp_synch_rules.html ;
it should perhaps point to 
http://people.freebsd.org/~hmp/stuff/docs/smp_synch_rules.html ?

"5 July 2000"
"* Jake Burkholder put an updated patch here"
points to an inaccessible http://people.freebsd.org/~jake/smpng.diff
I've been able to track down a copy and have posted it at
http://acm.jhu.edu/~me/smpng.diff ; perhaps it should have a home on 
freebsd.org?

"3 August 2000"
'Patches with functional heavy-weight thread for i386...' pointed at
http://people.freebsd.org/~grog/patches4.gz , also not accesible;
I've put a copy at http://acm.jhu.edu/~me/patches4.gz ; should this too 
find a permananent home?

Thanks!
-- vs