goto10.org:darcs/badnop