Generated docs for https://github.com/tthread/gen_server_timer_issue