Another gas-jet lighter in the form of Mr Punch