A user manual for Gibber, a creative-coding environment that runs in the browser