Okay, the game is done. As I suspected, it isn’t all that long. What takes time is the blundering around in the dark (and losing direction easily) and the constant rechecking of the areas. That’s in addition to solving puzzles, of course.