アディショナルタイムが正式な呼称になったのは2010年らしいけど、テレビとかで統一されたのはもうかれこれ15年前くらいじゃないかなぁ
そろそろロスタイムからアディショナルタイムに更新しましょうね