Thread:Ursuul/@comment-171752-20180103172114/@comment-30270234-20180109214618

JP, thanks for your prompt answer, and for looking into it.

Well, since it seems to be a case of diminishing returns, it is not worth pursuing the matter; fortunately it is a small thing.

I also don't think that I've got anything more about this step to feed back to you. Ursuul?