[sr-dev] git:master: Doc fixes for reg_timer_interval patch. I' ll try not to break things