This avoids using a unicode character that looks just like a hyphen but isn't, leading to subtle bugs when developers write code that interacts with the bat_linux widget.