This is the revision history for port 1473 in <discord.gg:##voots>

factoid_idsubjectcopulapredicateauthornamespace
1361 port 1473 is port 1473: openmath - OpenMath perlbot <*:##NULL>