Vsevolod Golovanov These are good points! In any case, don't hesitate to add comments directly to the PR...