merging sean-kang docs plus some minor formatting changes