Users are encouraged to use the TLA+ users google group / mailing list to discuss the system.
A public bug-tracker is available on GitHub.
For comments or suggestions about this web site, please contact the webmaster.