>>>>> Tian He writes: TH> reboot ~-- kernel-17/amd64/unix
TH> But that actually didn't work, I had to remove the tilde. The tilde is some cruft that got introduced by the migration from the old web portal software to XWiki. I thought I had fixed this already, but I guess not--my apologies on that. I've now fixed those pages. cheers, mike
