This has been pushed with c5d68c6d12 -> close.