Changes motivated by comments at https://github.com/didrocks/ubuntu-developer-tools-center/pull/26.