Bug#737121: ikiwiki: [PATCH] Implement configuration option to set the user agent...