#487: #384: editorial comment added to 37v_2
opened by thuchacz