Backend tools update 2020-08-11 Nerd sergio As part of a backend tools update I’ve ended up changing DNS providers.