Added an example of a server option with a specific index filename