Yes - I have established (with 95% certainty) that there are only two 4th rail networks in
the world; the London Underground network and Milan Metro line 1.
The proposal previously had electrified=rail deprecated, but a number of people commented
(rightly IMO) that this would involve a lot of unnecessary retagging. So I amended the
proposal to what we have today. The definition of electrified=rail is clearly stated in
the proposal.