Fifteen Years after TX: A Look Back at High Assurance Multi-Level Secure Windowing