[Agda] on standard library

[Sergei Meshveliani]

Dear Agda team,

I fail to open New issue on 
  https://github.com/agda/agda-stdlib/issues

by clicking at the "New issue" button.
It does not open the field to write an issue, does not do anything.
And year ago it used to open such.

Is this because my Iceape browser is old?

I wanted to give there two minor notes.

1. Data.Nat.Properties has  <-trans, <-irrefl, <-asym, 
   while
   Data.Fin.Properties  skips the last two.

2. Data.Bin.Properties  renames 
   Data.Nat.Properties  to  ℕₚ,
   Data.Nat.Properties  to  𝔽ₚ

ℕProp and 𝔽Prop are printed in a nicer way, and also carry a mnemonic. 


Regards,

------
Sergei