Fixed the home for boxtimes and re-named it to products.

But the proof that geochars on products are products of geochars is
still under construction