<div dir="ltr">I was working to fix some documentation and noticed that the user manual lists options like this:<div><br></div><div><tt class="" style="font-family:Consolas,"Deja Vu Sans Mono","Bitstream Vera Sans Mono",monospace;font-size:1.2em;font-weight:bold;border:0px;color:rgb(0,0,0);line-height:21px">-package</tt><tt class="" style="font-family:Consolas,"Deja Vu Sans Mono","Bitstream Vera Sans Mono",monospace;font-size:0.95em;border:0px;color:rgb(0,0,0);line-height:21px">⟨pkg⟩</tt><br></div><div><tt class="" style="font-family:Consolas,"Deja Vu Sans Mono","Bitstream Vera Sans Mono",monospace;font-size:0.95em;border:0px;color:rgb(0,0,0);line-height:21px"><br></tt></div>Notice that there is no space between the argument and the option. Should this be fixed? All options on this page seem to be similarly formatted which makes me wonder whether its by design?<br><br>-harendra</div>