These examples work for Electrum 3.2.2, though there are some funky characters in the xprv addresses when you copy and paste them from the web page.