kernel extension used to be optional, now is required, but manual still states it is optional. #73
Description
Since PR #69 the orb package requires its kernel extension to be compiled.
The manual still states that compiling the kernel extension it optional.
Two possible solutions:
- adjust the manual to the new reality
- revert reality to its previous state.
I am told that e.g. the semigroups manual also suggests that compiling is optional...
All in all I think I prefer going back to option 2 and making a bugfix release.