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