* Enable WebDAV support. Currently needs template haskell (could be avoided
by changing the DAV library to not use it), and also networking support,
which seems broken in current ghc-android.
+* XMPP support. I got all haskell libraries installed, but it fails to find
+ several C libraries at link time.
* Get local pairing to work. network-multicast and network-info don't
currently install.
* Get test suite to pass. Current failure is because `git fetch` is somehow