* Brute force migration to Eliom 4.
  (Break a lot of UI code.)
* attic: New. Place to move source code temporarily.