FYI, http://isatap.org has been updated to reflect recent publications of RFC5214 and linux kernel source code. Links to other related initiatives have also been added.