Dear list, We just released Krill 0.13.1 'Scrollbars!' The Krill UI includes a CA selection dropdown in case you have multiple CAs. This dropdown used to have a scrollbar, which accidentally got lost in the UI overhaul we did in version 0.13.0. This is now fixed (#1071) On behalf of the NLnet Labs RPKI Team, Tim