In reference to pedestrian safety and the opinions in our editorial, here's a link to WSF's fact sheet for the new Mukilteo Terminal. The second bullet point says the agency is including overhead passenger loading in Mukilteo to improve safety and efficiency. 
https://www.wsdot.wa.gov/NR/rdonlyres/C7496DBC-C840-4432-83FA-BDEF3A415826/0/MukilteoFerryFactSheetFebruary2017.pdf 
Our point was that if it's important there, it's important in Clinton too.