extension manager: some minor tweaks in the info screen