Place holder for documentation on doc/stop.html