fonio's tools server. The tools: https://tools.fonio.info