Thanks, @jferris. Done in 2b1e6d1.