Update documentation for filename change