London and Dublin zone definitions

Hey all, Is there a reason why the Europe/London and Europe/Dublin Zone definitions are outside the "Europe" section that starts on line # 449 in the "europe" data file? For consistency sake, shouldn't those two sections be moved under the "Europe" section where the DST Rule for "EU" is defined? thanks danvin