@Gargron @Thib Drop-down menu is the right place for it, I think.