Clarify the status of the (no longer necessary) $::fact idiom