Now, yes. Shorter "index.html", like described by Tim Plummer in Joomla Extension Development.