In order to make the interface nicer, @kintopp suggested to add icons for links to sources, permalinks, and so on.
