A javascript tool for managing PGNs