Upgrading display-src for use with the latest diagrams and diagrams-ghcjs