The plus sign (+) was removed from GTK name in GTK Hackfest 2019 (See issue GNOME/gtk#1439, hackfest report which mentioned the removal, removal announce). The whole code, documentation, website, etc. was changed to reflect this change. Would be nice if it was applied in here too.