OK, it's cheap, so I'll enhance "the user experience" :-) Thx for reporting! Will push it to the repositories today. Kind of worst possible moment: the day *after* 42.3 was released. TW will have it in a few minutes.