[01:41:49] <Krinkle>	 James_F: TIL m.wikifunctions.org exists
[01:42:01] <Krinkle>	 https://m.wikifunctions.org/wiki/Wikifunctions:Main_Page
[01:42:11] <Krinkle>	 same as www, no redirect, presumably not purged?
[09:43:31] <tgr_>	 Reedy: I think install.php just doesn't load the wiring files for extensions? 
[11:46:59] <Reedy>	 tgr_: Yeah, seems to be the case..
[12:47:04] <James_F>	 Krinkle: Yeah, ideally we'd not have it but eh.
[15:53:33] <Krinkle>	 James_F: I guess it'll redirect eventually, not through special effort but by proxy of a rule for mdot stripping in general.