@SvenGeier@mathstodon.xyz @dpiponi@mathstodon.xyz don't underestimate the difficulty of determining whether the manual or the implementation is correct :)