Added some literate formatting and docs