Stuff for my online duplicate bridge server