Ping as a reminder to clean up the comments before final.