Yes, I think github replaced ampersand-g-t-semicolon by <. Sorry about that.