Sorry for the double post. One of my comments was moved here from a different submission so now there are two top level comments from me, and I can't edit or delete them because the edit window has closed.