Top-level (public) web stuff for Computer Science Foundations