commenting out undeveloped feature in options

For now...