[scurvy]

In 17.3, is Flash still a dependency of the main codecs deb? In previous versions of 17.x, it was impossible to remove the Flash deb without uninstalling everything useful.