Resolved in [b9858e0].