https://github.com/RubenVerborgh/HDT-Node/pull/44 created a new interface; let's see if reading is still as fast.