[19:39:10] <DanielK_WMDE>	 anomie: is there anything remaining to be done here? https://gerrit.wikimedia.org/r/#/c/353545/