planetfilter 0.9.0 was released

Written for PlanetFilter by François Marier on 2020-07-15

A new "enabled" parameter makes it possible to temporarily disable a broken feed. In addition, this releases adds a "[filter]" alias for the main config file section.