Just odd things that are occasionally useful.