bitstrings.js shows the truth about |