Actually, describing it as "deprecated" was always a bit of an exaggeration --- it's standard shell syntax that isn't going anywhere. There's no pressing reason not to change it in the documentation that I can think of, but it's not clear if it's worth looking at. pws