There is an old joke motif the origin of which is obscure (to me, perhaps you can inform us): A highly technical, or perhaps mundanely boring, or perhaps very formal or conventional thing ... a police report, the new HR guidebook for a large company, the manual for your new programmable...