We just released a new version, which allows customizing edge arrow heads size: https://t.co/qx0WFiQtTx It also changes the default arrow head size, to match the one from curved arrows: https://t.co/SuiLrM6nJQ