Update documentation and rename some files