There’s no comment facility on Federico’s blog, but it’s a shame he didn’t notice my post from a few weeks ago about how to set custom prompts in jhbuild shells. No patches needed, and a much more entertaining environment variable is already available!