Fix: repaint connections when remote tab is made visible.
Commit remotes and targets in the database.
Document most format extensions, rework help navigation.