Couldn't he have compiled his go code with assembly output and edited the resulting file? Wouldn't that have saved a lot of struggle with the format?

go tool compile -S -S file.go