An independent security analysis of the Monotone distributed VCS · HackerTrans