Optionally allow non-HTML4-compatible ids