Redact obby

gobby was the only thing using it, and it has been replaced
by libinfinity