Pointing out (and cleaning up slightly) the stuff that may be of interest to other people.