relaxing the assumptions

• annotation -- incremental and/or automatic
• (explicit) maps -- based on user navigation
• (keyword) matching -- text retrieval

...