duanedr did an awesome job of documenting the repair process on his flickr! Essentially he carved out the one piece headtube and slid in a new tube. So the once faux lugs are now lugs proper. ha! Aesthetically correct to the original and should be stronger than the original!
https://www.flickr.com/photos/54319503@N05