hi, actually I found the info version now, but it seems complete to me:
$ sudo apt install info $ info developers-reference # voila. /usr/share/info/developers-reference.info.gz is where the file is. So I'm still inclined to close this bug. -- cheers, Holger ⢀⣴⠾⠻⢶⣦⠀ ⣾⠁⢠⠒⠀⣿⡁ holger@(debian|reproducible-builds|layer-acht).org ⢿⡄⠘⠷⠚⠋⠀ OpenPGP: B8BF54137B09D35CF026FE9D 091AB856069AAA1C ⠈⠳⣄ Das Leben ist schön. Von 'einfach' war nie die Rede. (@lernzyklus)
signature.asc
Description: PGP signature