Document options which might be useful in the example launcher script.