currently lots of TU/TILab related stuff is in user.ml
remove all and replace it by configurable messages