On 10/14/2015 06:34 AM, Dan Andreescu wrote:
We have a documentation cleanup day coming up soon, and we've just got delete permissions so we can actually clean.
Please don't delete old content, mark it as {{historical}} or {{outdated}} and archive it instead.
-- Legoktm