For anyone interested in the details, there is a reimplementation with some explanation: https://antirez.com/news/150