Discontinue old boards

Currently, almost no boards are marked as discontinued. This needs a bit of manual checking, after which we could hide by default those boards in searches.

That is,

• Mark old boards as discontinued
• Use a "hide discontinued by default" strategy instead of the current facet