_Added in 1.9.3_ *$tips* Returns [[$true]] if tips is enabled, else [[$false]].