Post #1984986

@peteriskrisjanis @db a little annoyed at times how the verification tools are mostly stuck in academia. even if you want to do a very good job its not exactly the most approachable :neocat_pensive: