No strong opinion about this. I thought it may come useful in the future for some kind of listing feature. It can go away.