Currently, the API is documented in the header file. Maybe we should use Doxygen or similar to generate nicely formatted docs from the header? What tool has the best GitHub integration?