In 2019, Boris Johnson had just become prime minister and didn’t feature much in comedy routines at the Edinburgh Fringe. The 2022 festival is coming to a close in the week when Mr Johnson’s turbulent time in office is also ending. So what do the satirists have to say about him? And will they miss him?