Let’s take another look at the console. There are several boards inside, but this is the only one which deals in custom Symbolics protocols (as opposed to the widely-known intricacies of operating a black-and-white CRT.)
The rough annotations are my own. Click on the pictures for super-size (~10MB!) images.
Once again, the Phase Encoded Video decoder board: