Flux web page edits for Flux-on-Demand, to be published 1-July-2013