This breaks devhelp as mentioned over here: https://launchpad.net/distros/ubuntu/+source/devhelp/+bug/40320/
This breaks devhelp as mentioned over here: https:/ /launchpad. net/distros/ ubuntu/ +source/ devhelp/ +bug/40320/