Here, I am talking about the ```concurrent_tasks```. There are two of them, with the same meaning and used in the same piece of code. IMHO, we should remove it sooner or later. Thus, the rationale of this comment.