I inadvertently ruled out that my water heater is broken due to a gas leak by investigating it with a lighter.