8cb8eb5
I accidentally stripped characters in these files.
Closes https://gitlab.com/autonomic-cooperative/autonomic-cooperative.gitlab.io/issues/19.