> Hmm. I'm less worried about that (but it easy to change if we want). Maybe the real bug here is that users (who should see it as 'packs-0.92') are being directed to developer documentation (which should use whatever name is used in the source)? -- Martin