Hey @firefox, have you had much feedback on how hard it is to identify the active tab in the default dark theme?