An experimental design for a privacy-minded push server. - View it on GitHub