I think he shared this in case others want to use this to update their hn theme ...

jypepin on May 16, 2020 | parent | context | favorite | on: Ask HN: Dark mode for HN please?

I think he shared this in case others want to use this to update their hn theme locally, not for hn to implement this...