Improve in-line documentation of $wgUrlProtocols; add 'redis://'