[admin] added cl-buchberger; owned by jrivas