stepharo Sat, 09 Jan 2016 13:14:55 -0800
We cannot see the class definition when browsing a collection of classes.
