This post has moved to https://tau.gr/archive/posts/2018-07-08-color-picker-chrome-dev-tools/.