Deleted stale document (as discussed with Jonas)