Obsolete instructions in Installing Smarty Theme Engine

The Installing Smarty theme engine page has a bad, obsolete link. It downloads an empty file, and it's no longer the case that the Smarty engine is packaged separately.

Here's a suggested rewrite:

To use Smarty-based Drupal themes such as box_cleanslate_smarty, bluemarine_smarty, etc., the Smarty theme engine must be installed. Here's are the steps:

1. Go to the Smarty project page and look for the the preferred links, halfway down the page. These are complete packages, but they're not hosted on the Drupal.org site. (If you prefer to download only from Drupal.org, you'll have to get and install the underlying Smarty engine separately.)
2. Download the version of the package appropriate to your version of Drupal into a temporary location.
3. Extract the package into the themes/engines directory, so that the path looks like drupal_base/themes/engines/smarty/....
4. Check, and if necessary change the permissions on the templates_c directory, as documented at the 'templates_c' Directory Permissions page.
5. Download a Smarty-based theme from the Themes page. The Smarty engine package that you've just installed doesn't contain a sample theme, and hence you can't test it without first downloading or creating a theme.

You should now be ready to enable, configure, and use Smarty-based themes.