Updating: improving doc/EXAMPLE/PORTABLE