Work on the stabilizer documentation