Planned Wikimini.org DNS record update to WMCH Infrastructure.
See:
T268292: Migrate Wikimini into WMCH infrastructure