Add references to known Android bugs in comments