Völlig OT: Statt Strg + F kannst Du im besten Browser der Welt(tm) auch einfach Punkt drücken. Also <punkt><i><m><p>
Vorteil: Er sucht live, Du musst nicht mehr <Enter> drücken