My bad for having a potentially misleading/clickbaity title that was inconsistent with the post title!!! It used to be "GitHub Dark Mode is too Dark. Here's the mathematical proof"