An interactive PDF reader