This chapter discusses the procedures for the developers of Giggle to follow. Users don't need to care about them. (I gotta document them somewhere so I don't forget them. I could put them in another document, but since the Giggle docs are small, I might as well put everything in this one file.)