Lean Workbench adds basic static Verso publications