Coloring triangle‐free graphs with local list sizes. Issue 3 (13th July 2020)