If that's all you want, then can you not do it yourself already? I think it may be easier for you to do it with JavaScript too
EDIT: You don't even need JavaScript or PHP for that. Just modify the template index.html with this line:
<span class='posttitle'><a href='#josc{id}'>{title}</a></span>
...just search for 'posttitle' in the index.html file and make the adjustments there
EDIT2: The reason why we havn't added the ID to every comment yet is because they don't make sense, relative to time, and should only be viewed internally and not by the public. A future version will have
real numbering on the comments, that is - the first comment will have #1, the second will have #2, and so on. Those will be linkable, and the backend will have an option to make these links a stand-alone "Single Post" view. I.e. a popup or a link for embedding/quoting on another site.