Default gas limit used for deploys is different between the website and the source code

[barakman]

In the website:

gas: Gas limit used for deploys. Default is 4712388.

In the source code (version 4.1.14):

  var default_tx_values = {
    gas: 6721975,
    gasPrice: 100000000000, // 100 Shannon,
    from: null
  };