# sed -E option : not documented The answer is in the source file of sed # pl, october 2013.