builder doesn't ignore ghc-options in cabal file
cantata bump
Pull more X stuff under its block
yi-rope related updates
agda-text