https://wordhistories.net/2018/04/29/demob-happy-origin/
the British-English adjective ‘demob happy’