A version of the MIT Athena widget set for X