A simple HTML text expansion tool