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...