For details of this Governor extension, see [the Solidity implementation](https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/governance/extensions/GovernorVotesSuperQuorumFraction.sol)
