I'd add a screengrab but I can't 


Me either. I was going to post a pkg-selfie but the .coq file was too large.

/# .%.
%( &*
.& ,&. *% /#
(( .%&%&# &%&&( &.
%. &. (% & #( (#
*%, (%,,,(#,&,,,*&, (%
*%#. ,&( ,%# *&(.
%##&%#(((#&%#%(
,((((//(/*#/ %//////((((.
,&/ ,&#( .%## ,%#
*&/ .%* #/ ... %* %( .%%
. ## (% *&, &* .
(& (&, /&* ,@.
,&, #* #/ /%
.%* %. (# #(
%( ,&/,,,## .&/
(# ## .&, ,&,
/&. (&. *&, *%.
.@* .%%% *%%( %/
&. %&. ,&,.*,*,,,,.## /&* #(
/# *&%. #( *&* #% .&. ,&%. .&
(&/*/#&&/ #/ .**, %* .#&%(**#&,
%, ##
It looks like there is a bug in the server!
Code:/# .%. %( &* .& ,&. *% /# (( .%&%&# &%&&( &. %. &. (% & #( (# *%, (%,,,(#,&,,,*&, (% *%#. ,&( ,%# *&(. %##&%#(((#&%#%( ,((((//(/*#/ %//////((((. ,&/ ,&#( .%## ,%# *&/ .%* #/ ... %* %( .%% . ## (% *&, &* . (& (&, /&* ,@. ,&, #* #/ /% .%* %. (# #( %( ,&/,,,## .&/ (# ## .&, ,&, /&. (&. *&, *%. .@* .%%% *%%( %/ &. %&. ,&,.*,*,,,,.## /&* #( /# *&%. #( *&* #% .&. ,&%. .& (&/*/#&&/ #/ .**, %* .#&%(**#&, %, ##
Success!View attachment 323789