re: #487 Charles Johnson
No bug - that’s because you typed an extra closing bracket.
Keyboard-chair interface bug.