Woohoo, my extremely small change to Mastodon (" Make scroll bars wider #7060") has been included in v2.4.0!

https://github.com/tootsuite/mastodon/releases/tag/v2.4.0

https://github.com/tootsuite/mastodon/pull/7060