Docs reference to ia32-libs no longer appropriate?

The docs state that on 64-bit Ubuntu you should do

```
apt-get install ia32-libs
```

But on Ubuntu 14.10 this fails with

```
Package ia32-libs is not available, but is referred to by another package.
This may mean that the package is missing, has been obsoleted, or
is only available from another source
However the following packages replace it:
lib32asound2 lib32z1 lib32ncurses5 lib32bz2-1.0

E: Package 'ia32-libs' has no installation candidate
```

See here for more info on this: http://askubuntu.com/questions/107230/what-happened-to-the-ia32-libs-package