[jypepin]

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