Use more Python names for popMessage, pushMessage and friends