DOC: Update URL for LTL syntax; remove old warning