if any of you is having problems with #chromium extensions being disabled (without any chance of reinstallation!) under !debian right now, this https://gist.github.com/schtobia/0837ade517931d5933021778832d2942 mitigates the problem.