Synopsis: www/weblint runtime error State-Changed-From-To: open->feedback State-Changed-By: gutteridge%NetBSD.org@localhost State-Changed-When: Wed, 22 Jul 2020 22:15:10 +0000 State-Changed-Why: Please advise if this works for you and is good to close? Thanks!