#735: #727: finished converting captions to headers where needed
opened by thuchacz