> could we implement `Default` on `PageAnimationStyle` here and remove the > `Option`? that would also clean up the code below a bit. or is there a > reason not to do that? I guess we want to be able to set it to None (no animation)...