[BUG #7710] fixed initial selection
[BUG #7831] apply post-processing only once
[BUG #7710] fixed initial selection again
[BUG #7710] make sure the page is displayed so the animation will run
[BUG #7710] tentative fix for runtime re-rendering
[BUG #7831] added a filter box for the API list