The search functionality needs JavaScript enabled
From SCPDriver, here for convenience
alias SCPQuorumSetPtr = shared_ptr!(scpd.types.Stellar_SCP.SCPQuorumSet);