Place holder for documentation on doc/quit.html