Jaromil - 02.04.19, 20:10:
> he is now in moderation. if the trolling comes back from other
> accounts please don't feed.

And I already thought I just overreacted.

I suggest to just let the whole topic rest for a while.

If there is anything remaining, I bet its much more easy to clear up
with a few nights in between.

Only thing I might do is to add a note to

https://www.devuan.org/pwned.html

that is was an April fools joke. Just in case someone hits the page via
a search engine. https://search.disroot.org luckily does not seem to
catch it via a simple search for "Devuan", at least not within the first
few dozens of search results.

Thanks,
--
Martin