Update: bug #847216 [1] is slowing me down. I do not need a fix for that other bug uploaded before I can proceed, but I do at least probably need to fix that bug on my own PC. Therefore, I am off hacking that other source.
1: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=847216
signature.asc
Description: Digital signature
