Changed users collection to a properties-observable collection. Fixed some bugs along the way. More remain.
Finished fixing bugs resulting from changing the users collection to a collection with properties as observables.
#135: Comments on the issue details page now respect formatting.
#136: An issue can now be undeleted by visiting the issue details page.