nushoin·há 7 anos·discussSpeaking of whom, anyone knows what's up with Mr. van Vugt? He hasn't been active in GNOME's gitlab in the past month.