Hoffmann's implementation of MultiR and our extensions to it