We have found a solution for the general malfunction of the F3 button. Due to technical reasons, this solution will only be applied this evening. As of tomorrow, everything will be back in order.
At the moment we are experiencing a general problem with the F3 button in PlanManager. Please do not use it for the time being. The development team is investigating the cause. As soon as more information is available, an update will be placed on this page.