Extensive additions to documentation