[01:13:14] <vrandecic>	 Newsletter 132: Wikifunctions, the library of functions that anyone can use and edit - https://meta.wikimedia.org/wiki/Abstract_Wikipedia/Updates/2023-11-07