You can send a PR any time.