Because it's kinda redundant with the reprocess option, don't you think?  Both serve the same purpose: to reduce work when developing.  One way does it by restarting the server and re-converting assets, the other re-coverts them on page refresh.  
But you're right, better to inform the user about both ways in the documentation so he can choose.  I'll return this tip.