[10:44:06] <Josve05a>	 Nemo_bis: Hi! is https://oabot.toolforge.org permanently dead, or just temporary?