Update documentation
Re-added missing files.