Cleaning up messes left by vibe ciders is why my PRs are so big... But this tidying isn't valued so meh. I'm not gonna do this anymore. Sigh.