@stof  good question, I honestly didn't see that before. The change was done in 2010, ages ago.