Attached is yet another updated patch fixing a mistake in the added 
documentation.

On 9/21/21 7:26 PM, Jesse wrote:
> Attached is an updated patch.