That is good to know, I did not realize that.
Handy being able to reboot the board to initialize it when updating user code.
May want to include note about that in the next update to the User Guide.
BTW: Section 4.6 Timers and 6.2 Instructions - states time is in milliseconds, however...