обнаружил, что работает view-source: как в хроме
следовательно, этот нехитрый код в качестве ссылки
Код:
javascript:void(window.open('view-source:'+window.location.href))
открывает исходный код текущей страницы в новом окне, аналогично хрому. Если поместить данную ссылку на панель, то удобно одним кликом глянуть исходник. Работает в FF и Chrome.