Has this bug been reported?
Towards more accurate retrieval of duplicate bug reports