Added tabulated-list-mode derivation example.
Changed list syntax from (list to '(.
Added second user.