That helps a lot, thanks! I had always assumed "power off" would do just that. After all, when subsequently turned back on, the phone does go through a "boot up" process that takes a length of time.
It just must be the case that it has always been this way, but I just never checked the task...