Fix pauses.
Mark uncanonical algs in the UI.
Add examples.