log_format in Https.fsi