Update tagmachine-info.html