@hyurte: Eh, the subject had come up a few times over the years, and @poire-z's comments and your report just gave me the necessary push to do something about it ;p.
Thanks for the feedback
.
EDIT: You'll probably notice in the screenshot I attached to the PR that my own progress bars have all been switched to "thin" ticks (that's in the status bar settings). Might be something you'll want to do, too, given the density of ticks in your usual content
.