A better way of ensuring the folding works.

The tilde in the user repository names was causing the
collapsing/expanding JQuery to fail. This implementation uses unique
strings that are HTML compliant for the ID tokens.
Removed unused member