Started improving the docs; work is incomplete right now.