Diferença (entre a revisão 5 e versão actual)
Sumário: Rollback to 2008-09-05 00:16 UTCNenhuma dif. disponível.
Idea #2: Hack info-mode to grok wikified info pages as if they were normal info files (i.e. fetch the content from the web using a list of configured sources). Optionally cache fetched files and use them when nothing happened with the source or if internet connection is down.