add tomdoc at the top of mahfel.js