It seems quite likely that someone teaching a class using Hugs has put together a short intro to the major Hugs commands and would be willing to sign that over to the Hugs project (or whoever it is that holds copyrights for Hugs bits) for us to use as a base. -- Alastair