the html docs already include the copyright symbol and the word "Copyright", so we ended up with "© Copyright Copyright © 2018-2019 The Pybricks MicroPython Authors. " drop it from the _COPYRIGHT setting and add it back into the disclaimer in the latex generated doc