Keeps the best version of the documentation. Fixes: https://github.com/libopencm3/libopencm3/pull/269