updates from metaborg.org