Elisp-side TODOs.
No messages attached to overlays.
Include detailed interface proposal.