Merge branch 'interface-improvements' of github.com:clean-cloogle/clean-irc into...