It's fine, but I think it's obsolete once your core PR's been merged, right?