It's indeed unused. Removed in new commit.