Clean up on documentation, TiProxy, TiValue, and Introduction