Yes. Do I push in a commit, or wait for further comments?