Programs and editors/Tectonicus/Reporting Tectonicus Bugs