This reverts commit 2ad4585d. The "let's disable TopIcons for one release" experiment was done in 3.13.2. After analyzing the user feedback, sajolida's conclusion is that we do need TopIcons for OpenPGP Applet.