Yes. The literally reason LibreSSL uses ComicSans is to troll the "HN Crowd" according to their early homepage. It started as, "help us reach this donation goal to remove comicsans".
By this point its just to troll people. Since using comic sans will trigger at least 1 discussion about the font itself. This is actually a good filter community wise. If you won't suffer certain fonts your certainly not gonna stomach hand reading OpenSSL code to figure out its indented goal.
They probably do it deliberately. It's an excellent filter for people who are bikeshedding, vs people who have something to say about the actual content.
It says there's more people who can comment on font choices than on SSL internals (I'm one of those people, btw - no shame in not knowing advanced crypto). I'm pretty sure this is the same lesson you draw from the original "bikeshed" story, so it's doing its job pretty well.
