On 01-06-2018 01:16 PM, Gyan Doshi wrote: >> I'm fairly confident it will since @subheading also works online for >> developer.html, but not locally. However, this shouldn't be blocking >> your patch since it is an independent issue. > > Ok. Will push in a day or so. > > Thanks, > Gyan Revised and pushed.