Correcting article about OpenBSD and Kimsufi after visitors comments