To accompany the paper "Infinitesimal rigidity of a compact hyperbolic 4-orbifold with totally geodesic boundary", with Tarik Aougab, we prepared notebooks to explain the computations in detail. Currently there is a notebook Aougab-Storm.nb for Mathematica 7.0, and Aougab-Storm.sws for Sage 3.2.3. There is also a text version of the Sage notebook, Aougab-Storm.txt. These notebooks were prepared in February, 2009.