8.0.1

• Adjust and correct packaging (thanks to Atri Bhattacharya for testing and packaging in OpenSUSE) .
• Documentation adjusted. Update to newer MathML code and track API changes in Mathics Kernel (Mauricio Matera).