I was looking at the Proverbs Explorer documentation and saw the search is still Logos 9 style ({Label Proverb WHERE Type ~ "Advice"} rather than proverb:type:"Advice"). Should I report that kind of thing as a typo within the software or make a forum post?
I did both this time, but was wondering about best practice.