It still could use a bit of polish and I would love to hear about any missing details, confusion, or misunderstandings. My goal in writing this was to fill in the gap found here
http://hackage.haskell.org/trac/ghc/wiki/Commentary/Rts/STM. I happy to have it live where it is most appropriate. If anyone has opinions on that, let me know.
Any comments are welcome, it may be easiest to just comment on the source directly on Github, but I will, of course, take feedback in any form.
Thanks,