Good idea - thanks for the suggestion. I’ll take a look at updating it.
Update 20th October 2022: I’ve updated this how-to to use an updated GTK3 extension with core20 and I’ve also created a separate how-to for a GTK4 project so that these two docs can co-exist.