I agree, to a point. I shoot a lot of manual focus lenses and according to your explanation "focal length of a lens is only 'as marked' when it is focused at infinity", when an extension tube is put on a lens it will not focus to infinity thus it would decrease the focal length of the lens, would it not? An extension tube is used to decrease the magnification ratio of the lens (which increases magnification), thus Alex has the correct formula which is (FL + et)/FL. So, if the above assertions hold true, adding an extension tube to a lens will decrease the lens's focal length.