>> Okay, I found the problem: it's unable to import 'defs' for some
>> reason. I attached a patch that fixes the problem. It also fixes
>> opening help.
>
>
> Can you update patch to it include patch headers? Your name, e-mail? So it
> correctly appears in git history? Or you don't mind if I commit that under
> my name?
I attached a patch with headers. It should go for master and
wip/gnome-3.10+ branches.