Fix failing HTML formatter specs and add CLI configuration option