There may be a downvoting bot, but if the culture here is anything like reddit was 5-7 years ago 'haha' type comments are probably frowned on.