Many different changes

All issues have been closed, with the exception of the (huge)
embarrasment about the code...