Indeed you're right. cfg_debian_ext.lua is created in notion.postinst
It should be a 'conffile', and (according to dpkg --status) is not. However, the list of 'conffiles' does contain a number of other files (such as the themes) of which we should probably reconsider whether we want them to be conffiles, or perhaps rather move them to /usr/share or something. We'll have to look into this. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
