[MacPorts] #45200: tuxmath, tuxtype, t4k_common: ports abandoned by davidstuartbruce