Removing docs that were moved to website (#8)