Comment Comment by KolmogorovComp Tangential, but does anybody know a frontend more friendly than GitHub for non-technical persons to navigate through doc history? More like a wikipedia page history. parent KolmogorovComp 1 year ago