Edit documentation of 'system-tick(). The previous description has been construed by some to assert that it is unsafe to be called from anywhere except a 'naked' ISR.
Changed paths: