Ah, got it! Yeah, good idea. Another PR?