general: fixed deletion, reporting and overboard
Merge branch 'master' of https://github.com/MitsubaBBS/Mitsuba