Reducing the dichromatic number via cycle reversions in infinite digraphs. (December 2020)