The manual for the witch-e emulator.