DOC: Update URL for LTL syntax; remove old warning
DOC: Update URL for LTL syntax; remove old warning

necozay/tulip-control,necozay/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control,necozay/tulip-control,necozay/tulip-control,tulip-control/tulip-control,necozay/tulip-control,tulip-control/tulip-control