Add appendix with example illustrating why `Gc` and `Rc` are not equiv.