I deleted my previous comment shortly after posting because I realized that you're right, this would be definitely useful. I haven't noticed that you already ma

I deleted my previous comment shortly after posting because I realized that you're right, this would be definitely useful. I haven't noticed that you already managed to reply to it.