mtbdd: rewrite documentation of external references
mtbdd: rewrite documentation of external references

trolando/sylvan,trolando/sylvan,Meijuh/sylvan,utwente-fmt/sylvan,utwente-fmt/sylvan,Meijuh/sylvan