I think using `<hr>` makes more sense than using an empty GroupBox widget as a separator.