#592 add sync to pulldown menu for source files

[Lee Worden]

I would just do it, but it looks like it'll need a little work, either to distinguish source from other files in the DOM or to insert the link server-side and hide it when the altlinks isn't a pulldown