Temporary home for oojs-ui before it's moved to Gerrit